Build #1 for copilot-language-3.11
Package | copilot-language-3.11 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2022-09-07 23:35:22.916080448 UTC |
---|---|
Compiler | ghc-9.2.4 |
OS | linux |
Arch | x86_64 |
Dependencies | array-0.5.4.0, base-4.16.3.0, containers-0.6.5.1, copilot-core-3.11, copilot-interpreter-3.11, copilot-theorem-3.11, data-reify-0.6.3, mtl-2.2.2 |
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 OneTuple-0.3.1 Building base-orphans-0.8.7 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 Completed parser-combinators-1.3.0 Starting reflection-2.1.6 Building primitive-0.7.4.0 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 Completed semigroups-0.20 Starting th-abstraction-0.4.4.0 Building tagged-0.8.6.1 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 Building unordered-containers-0.2.19.1 Completed data-default-instances-containers-0.0.1 Starting libBF-0.6.5.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 Completed scientific-0.3.7.0 Starting transformers-base-0.4.6 Building th-lift-0.8.2 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 Building zlib-bindings-0.1.1.5 Completed panic-0.4.0.1 Starting copilot-interpreter-3.11 Building copilot-interpreter-3.11 Completed deriving-compat-0.6.1 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed copilot-interpreter-3.11 Starting data-reify-0.6.3 Completed zlib-bindings-0.1.1.5 Starting comonad-5.0.8 Building data-reify-0.6.3 Building comonad-5.0.8 Completed data-default-0.7.1.1 Starting megaparsec-9.2.2 Building megaparsec-9.2.2 Completed data-reify-0.6.3 Starting attoparsec-0.14.4 Building attoparsec-0.14.4 Completed vector-0.12.3.1 Starting temporary-1.3 Completed comonad-5.0.8 Starting th-lift-instances-0.1.20 Building temporary-1.3 Building th-lift-instances-0.1.20 Completed temporary-1.3 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 megaparsec-9.2.2 Starting bifunctors-5.5.12 Building bifunctors-5.5.12 Completed indexed-traversable-instances-0.1.1.1 Starting versions-5.0.3 Building versions-5.0.3 Completed attoparsec-0.14.4 Starting io-streams-1.5.2.2 Building io-streams-1.5.2.2 Completed versions-5.0.3 Completed hashtables-1.2.4.2 Completed bifunctors-5.5.12 Starting assoc-1.0.2 Starting profunctors-5.6.2 Starting semigroupoids-5.3.7 Building assoc-1.0.2 Building profunctors-5.6.2 Building semigroupoids-5.3.7 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 these-1.1.1.1 Starting strict-0.4.0.1 Completed profunctors-5.6.2 Starting invariant-0.6 Building strict-0.4.0.1 Building invariant-0.6 Completed semigroupoids-5.3.7 Starting free-5.1.9 Building free-5.1.9 Completed strict-0.4.0.1 Completed invariant-0.6 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 Starting copilot-language-3.11 Building copilot-language-3.11 Completed copilot-language-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.