[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_archlinux_1 #434968
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Tue Aug 9 10:07:45 BST 2022
See <https://jenkins.debian.net/job/reproducible_builder_archlinux_1/434968/display/redirect>
Changes:
------------------------------------------
[...truncated 16.00 KB...]
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 418k 100 418k 0 0 34.4M 0 --:--:-- --:--:-- --:--:-- 37.1M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 18679 100 18679 0 0 2134k 0 --:--:-- --:--:-- --:--:-- 2280k
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 106k 100 106k 0 0 11.6M 0 --:--:-- --:--:-- --:--:-- 12.9M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 188k 100 188k 0 0 19.7M 0 --:--:-- --:--:-- --:--:-- 20.4M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 141k 100 141k 0 0 14.9M 0 --:--:-- --:--:-- --:--:-- 15.3M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 251k 100 251k 0 0 24.8M 0 --:--:-- --:--:-- --:--:-- 27.2M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 42863 100 42863 0 0 4874k 0 --:--:-- --:--:-- --:--:-- 5232k
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 238k 100 238k 0 0 22.3M 0 --:--:-- --:--:-- --:--:-- 23.3M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 69937 100 69937 0 0 7842k 0 --:--:-- --:--:-- --:--:-- 8537k
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 1226k 100 1226k 0 0 76.1M 0 --:--:-- --:--:-- --:--:-- 79.8M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 1377k 100 1377k 0 0 84.9M 0 --:--:-- --:--:-- --:--:-- 89.7M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 420k 100 420k 0 0 37.3M 0 --:--:-- --:--:-- --:--:-- 41.0M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 41335 100 41335 0 0 4414k 0 --:--:-- --:--:-- --:--:-- 4485k
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 125k 100 125k 0 0 13.6M 0 --:--:-- --:--:-- --:--:-- 15.3M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 46040 100 46040 0 0 5353k 0 --:--:-- --:--:-- --:--:-- 5620k
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 73716 100 73716 0 0 7886k 0 --:--:-- --:--:-- --:--:-- 7998k
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 98459 100 98459 0 0 9049k 0 --:--:-- --:--:-- --:--:-- 9615k
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 291k 100 291k 0 0 47.6M 0 --:--:-- --:--:-- --:--:-- 56.9M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 99853 100 99853 0 0 67.5M 0 --:--:-- --:--:-- --:--:-- 95.2M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 39804 100 39804 0 0 11.4M 0 --:--:-- --:--:-- --:--:-- 12.6M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 72438 100 72438 0 0 19.5M 0 --:--:-- --:--:-- --:--:-- 23.0M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 251k 100 251k 0 0 52.1M 0 --:--:-- --:--:-- --:--:-- 61.4M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 18302 100 18302 0 0 5519k 0 --:--:-- --:--:-- --:--:-- 5957k
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 90420 100 90420 0 0 22.3M 0 --:--:-- --:--:-- --:--:-- 28.7M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 837k 100 837k 0 0 60.8M 0 --:--:-- --:--:-- --:--:-- 62.9M
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing numactl...
installing ghc-libs...
installing haskell-base-orphans...
installing haskell-ghc-bignum-orphans...
installing haskell-hashable...
installing haskell-integer-logarithms...
installing haskell-primitive...
installing haskell-scientific...
installing haskell-attoparsec...
installing haskell-base-compat...
installing haskell-base-compat-batteries...
installing haskell-data-fix...
installing haskell-dlist...
installing haskell-tagged...
installing haskell-distributive...
installing haskell-indexed-traversable...
installing haskell-transformers-compat...
installing haskell-comonad...
installing haskell-th-abstraction...
installing haskell-bifunctors...
installing haskell-assoc...
installing haskell-these...
installing haskell-strict...
installing haskell-time-compat...
installing haskell-unordered-containers...
installing haskell-splitmix...
installing haskell-random...
installing haskell-uuid-types...
installing haskell-vector...
installing haskell-aeson...
installing haskell-cmdargs...
installing haskell-aeson-pretty...
installing haskell-fclabels...
installing haskell-parallel...
installing haskell-safe...
installing haskell-syb...
installing haskell-uniplate...
installing haskell-sha...
installing haskell-base64-bytestring...
installing haskell-blaze-builder...
installing haskell-tamarin-prover-utils...
installing haskell-call-stack...
installing haskell-hunit...
installing haskell-tamarin-prover-term...
:: Running post-transaction hooks...
(1/2) Arming ConditionNeedsUpdate...
(2/2) Registering Haskell modules...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...
Packages (3) llvm-14.0.6-3 llvm-libs-14.0.6-3 ghc-9.0.2-1
Total Download Size: 120.41 MiB
Total Installed Size: 673.53 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 27.5M 100 27.5M 0 0 188M 0 --:--:-- --:--:-- --:--:-- 188M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 60.7M 100 60.7M 0 0 202M 0 --:--:-- --:--:-- --:--:-- 203M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 32.0M 100 32.0M 0 0 199M 0 --:--:-- --:--:-- --:--:-- 200M
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing llvm-libs...
installing llvm...
installing ghc...
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
==> Retrieving sources...
-> Downloading tamarin-prover-1.6.1.tar.gz...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0
100 2029k 0 2029k 0 0 1751k 0 --:--:-- 0:00:01 --:--:-- 1751k100 4546k 0 4546k 0 0 2091k 0 --:--:-- 0:00:02 --:--:-- 2480k100 7248k 0 7248k 0 0 2283k 0 --:--:-- 0:00:03 --:--:-- 2589k100 14.8M 0 14.8M 0 0 3736k 0 --:--:-- 0:00:04 --:--:-- 4527k
==> Validating source files with sha512sums...
tamarin-prover-1.6.1.tar.gz ... Passed
==> Extracting sources...
-> Extracting tamarin-prover-1.6.1.tar.gz with bsdtar
==> Starting build()...
Configuring tamarin-prover-theory-1.6.1...
Preprocessing library for tamarin-prover-theory-1.6.1..
Building library for tamarin-prover-theory-1.6.1..
[ 1 of 45] Compiling Theory.Model.Fact ( src/Theory/Model/Fact.hs, dist/build/Theory/Model/Fact.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 2 of 45] Compiling Theory.Text.Pretty ( src/Theory/Text/Pretty.hs, dist/build/Theory/Text/Pretty.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 3 of 45] Compiling Theory.Model.Signature ( src/Theory/Model/Signature.hs, dist/build/Theory/Model/Signature.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 4 of 45] Compiling Theory.Model.Atom ( src/Theory/Model/Atom.hs, dist/build/Theory/Model/Atom.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 5 of 45] Compiling Theory.Model.Formula ( src/Theory/Model/Formula.hs, dist/build/Theory/Model/Formula.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 6 of 45] Compiling Theory.Sapic ( src/Theory/Sapic.hs, dist/build/Theory/Sapic.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 7 of 45] Compiling Theory.Model.Rule ( src/Theory/Model/Rule.hs, dist/build/Theory/Model/Rule.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 8 of 45] Compiling Theory.Sapic.Print ( src/Theory/Sapic/Print.hs, dist/build/Theory/Sapic/Print.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 9 of 45] Compiling Theory.Model.Restriction ( src/Theory/Model/Restriction.hs, dist/build/Theory/Model/Restriction.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[10 of 45] Compiling Theory.Model ( src/Theory/Model.hs, dist/build/Theory/Model.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[11 of 45] Compiling Theory.Constraint.System.Guarded ( src/Theory/Constraint/System/Guarded.hs, dist/build/Theory/Constraint/System/Guarded.dyn_o )
src/Theory/Constraint/System/Guarded.hs:111:1: warning: [-Worphans]
Orphan instance: instance MonadFail Identity
To avoid this
move the instance declaration to the module of the class or of the type, or
wrap the type with a newtype and declare the instance on the new type.
|
111 | instance MonadFail Identity where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[12 of 45] Compiling Theory.Constraint.Solver.Heuristics ( src/Theory/Constraint/Solver/Heuristics.hs, dist/build/Theory/Constraint/Solver/Heuristics.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[13 of 45] Compiling Theory.Tools.AbstractInterpretation ( src/Theory/Tools/AbstractInterpretation.hs, dist/build/Theory/Tools/AbstractInterpretation.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[14 of 45] Compiling Theory.Tools.EquationStore ( src/Theory/Tools/EquationStore.hs, dist/build/Theory/Tools/EquationStore.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[15 of 45] Compiling Theory.Constraint.System.Constraints ( src/Theory/Constraint/System/Constraints.hs, dist/build/Theory/Constraint/System/Constraints.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[16 of 45] Compiling Theory.Constraint.System ( src/Theory/Constraint/System.hs, dist/build/Theory/Constraint/System.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[17 of 45] Compiling Theory.Constraint.System.JSON ( src/Theory/Constraint/System/JSON.hs, dist/build/Theory/Constraint/System/JSON.dyn_o )
Tue Aug 9 09:07:45 UTC 2022 - /srv/reproducible-results/archlinuxrb-build-EXQMpOYp deleted.
Build step 'Execute shell' marked build as failure
More information about the Qa-jenkins-scm
mailing list