Build #1 for copilot-theorem-3.11
Package | copilot-theorem-3.11 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2022-09-08 00:45:47.696386564 UTC |
---|---|
Compiler | ghc-9.2.4 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.16.3.0, bimap-0.5.0, bv-sized-1.0.4, containers-0.6.5.1, copilot-core-3.11, data-default-0.7.1.1, directory-1.3.6.2, libBF-0.6.5.1, mtl-2.2.2, panic-0.4.0.1, parameterized-utils-2.1.5.0, parsec-3.1.15.0, pretty-1.1.3.6, process-1.6.13.2, random-1.2.1.1, transformers-0.5.6.2, what4-1.3, xml-1.3.14 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting StateVar-1.2.2 Starting OneTuple-0.3.1 Starting base-orphans-0.8.7 Starting base-compat-0.12.2 Building StateVar-1.2.2 Building base-orphans-0.8.7 Building OneTuple-0.3.1 Building base-compat-0.12.2 Completed base-orphans-0.8.7 Starting bimap-0.5.0 Building bimap-0.5.0 Completed StateVar-1.2.2 Starting bitwise-1.0.0.1 Completed OneTuple-0.3.1 Starting call-stack-0.4.0 Building bitwise-1.0.0.1 Building call-stack-0.4.0 Completed call-stack-0.4.0 Starting config-value-0.8.3 Building config-value-0.8.3 Completed base-compat-0.12.2 Starting data-binary-ieee754-0.4.4 Building data-binary-ieee754-0.4.4 Completed bimap-0.5.0 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed bitwise-1.0.0.1 Starting dlist-1.0 Building dlist-1.0 Completed data-default-class-0.1.2.0 Starting fingertree-0.1.5.0 Building fingertree-0.1.5.0 Completed data-binary-ieee754-0.4.4 Starting hashable-1.3.5.0 Building hashable-1.3.5.0 Completed dlist-1.0 Starting indexed-traversable-0.1.2 Building indexed-traversable-0.1.2 Completed config-value-0.8.3 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Completed hashable-1.3.5.0 Starting network-3.1.2.7 Completed fingertree-0.1.5.0 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed integer-logarithms-1.0.3.1 Starting parallel-3.2.2.0 Building parallel-3.2.2.0 Completed indexed-traversable-0.1.2 Starting parser-combinators-1.3.0 Building parser-combinators-1.3.0 Building network-3.1.2.7 Completed old-locale-1.0.0.7 Starting prettyprinter-1.7.1 Building prettyprinter-1.7.1 Completed parallel-3.2.2.0 Starting primitive-0.7.4.0 Building primitive-0.7.4.0 Completed parser-combinators-1.3.0 Starting reflection-2.1.6 Building reflection-2.1.6 Completed prettyprinter-1.7.1 Starting semigroups-0.20 Building semigroups-0.20 Completed reflection-2.1.6 Starting splitmix-0.1.0.4 Building splitmix-0.1.0.4 Completed network-3.1.2.7 Starting tagged-0.8.6.1 Building tagged-0.8.6.1 Completed semigroups-0.20 Starting th-abstraction-0.4.4.0 Building th-abstraction-0.4.4.0 Completed splitmix-0.1.0.4 Starting transformers-compat-0.7.2 Building transformers-compat-0.7.2 Completed primitive-0.7.4.0 Starting type-equality-1 Building type-equality-1 Completed tagged-0.8.6.1 Starting unbounded-delays-0.1.1.1 Building unbounded-delays-0.1.1.1 Completed type-equality-1 Starting utf8-string-1.0.2 Building utf8-string-1.0.2 Completed th-abstraction-0.4.4.0 Starting void-0.7.3 Completed transformers-compat-0.7.2 Starting xml-1.3.14 Building void-0.7.3 Building xml-1.3.14 Completed unbounded-delays-0.1.1.1 Starting zenc-0.1.2 Building zenc-0.1.2 Completed void-0.7.3 Starting zlib-0.6.3.0 Building zlib-0.6.3.0 Completed zenc-0.1.2 Starting contravariant-1.5.5 Building contravariant-1.5.5 Completed utf8-string-1.0.2 Starting gitrev-1.3.1 Building gitrev-1.3.1 Completed xml-1.3.14 Starting data-default-instances-containers-0.0.1 Building data-default-instances-containers-0.0.1 Completed contravariant-1.5.5 Starting data-default-instances-dlist-0.0.1 Building data-default-instances-dlist-0.0.1 Completed gitrev-1.3.1 Starting copilot-core-3.11 Building copilot-core-3.11 Completed zlib-0.6.3.0 Starting unordered-containers-0.2.19.1 Completed data-default-instances-containers-0.0.1 Starting libBF-0.6.5.1 Building unordered-containers-0.2.19.1 Building libBF-0.6.5.1 Completed data-default-instances-dlist-0.0.1 Starting case-insensitive-1.2.1.0 Building case-insensitive-1.2.1.0 Completed copilot-core-3.11 Starting async-2.2.4 Building async-2.2.4 Completed case-insensitive-1.2.1.0 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed libBF-0.6.5.1 Starting random-1.2.1.1 Building random-1.2.1.1 Completed data-default-instances-old-locale-0.0.1 Starting vector-0.12.3.1 Building vector-0.12.3.1 Completed async-2.2.4 Starting scientific-0.3.7.0 Building scientific-0.3.7.0 Completed unordered-containers-0.2.19.1 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed distributive-0.6.2.1 Starting th-lift-0.8.2 Building th-lift-0.8.2 Completed scientific-0.3.7.0 Starting transformers-base-0.4.6 Building transformers-base-0.4.6 Completed random-1.2.1.1 Starting deriving-compat-0.6.1 Building deriving-compat-0.6.1 Completed transformers-base-0.4.6 Starting constraints-0.13.4 Building constraints-0.13.4 Completed th-lift-0.8.2 Starting concurrent-extra-0.7.0.12 Building concurrent-extra-0.7.0.12 Completed concurrent-extra-0.7.0.12 Starting panic-0.4.0.1 Building panic-0.4.0.1 Completed constraints-0.13.4 Starting zlib-bindings-0.1.1.5 Completed panic-0.4.0.1 Starting data-default-0.7.1.1 Building zlib-bindings-0.1.1.5 Building data-default-0.7.1.1 Completed deriving-compat-0.6.1 Starting comonad-5.0.8 Building comonad-5.0.8 Completed data-default-0.7.1.1 Starting megaparsec-9.2.2 Building megaparsec-9.2.2 Completed zlib-bindings-0.1.1.5 Starting attoparsec-0.14.4 Building attoparsec-0.14.4 Completed comonad-5.0.8 Starting temporary-1.3 Building temporary-1.3 Completed vector-0.12.3.1 Starting bifunctors-5.5.12 Building bifunctors-5.5.12 Completed temporary-1.3 Starting th-lift-instances-0.1.20 Building th-lift-instances-0.1.20 Completed megaparsec-9.2.2 Starting indexed-traversable-instances-0.1.1.1 Building indexed-traversable-instances-0.1.1.1 Completed th-lift-instances-0.1.20 Starting hashtables-1.2.4.2 Building hashtables-1.2.4.2 Completed attoparsec-0.14.4 Starting versions-5.0.3 Building versions-5.0.3 Completed bifunctors-5.5.12 Starting io-streams-1.5.2.2 Completed indexed-traversable-instances-0.1.1.1 Starting semigroupoids-5.3.7 Building io-streams-1.5.2.2 Building semigroupoids-5.3.7 Completed versions-5.0.3 Starting profunctors-5.6.2 Building profunctors-5.6.2 Completed hashtables-1.2.4.2 Starting assoc-1.0.2 Building assoc-1.0.2 Completed io-streams-1.5.2.2 Completed assoc-1.0.2 Starting these-1.1.1.1 Building these-1.1.1.1 Completed semigroupoids-5.3.7 Completed profunctors-5.6.2 Starting invariant-0.6 Starting free-5.1.9 Building invariant-0.6 Building free-5.1.9 Completed these-1.1.1.1 Starting strict-0.4.0.1 Building strict-0.4.0.1 Completed invariant-0.6 Completed strict-0.4.0.1 Completed free-5.1.9 Starting adjunctions-4.4.2 Building adjunctions-4.4.2 Completed adjunctions-4.4.2 Starting kan-extensions-5.2.5 Building kan-extensions-5.2.5 Completed kan-extensions-5.2.5 Starting lens-5.1.1 Building lens-5.1.1 Completed lens-5.1.1 Starting parameterized-utils-2.1.5.0 Building parameterized-utils-2.1.5.0 Completed parameterized-utils-2.1.5.0 Starting bv-sized-1.0.4 Building bv-sized-1.0.4 Completed bv-sized-1.0.4 Starting what4-1.3 Building what4-1.3 Completed what4-1.3 Starting copilot-theorem-3.11 Building copilot-theorem-3.11 Completed copilot-theorem-3.11 Warning: could not create symlinks in /home/builder/.cabal/bin for bf-test, quickstart because the files exist there already and are not managed by cabal. You can create symlinks for these executables manually if you wish. The executable files have been installed at /home/builder/hackage-server/build-cache/tmp-install/bin/bf-test, /home/builder/hackage-server/build-cache/tmp-install/bin/quickstart
Test log
No test log was submitted for this report.