Build #1 for copilot-theorem-3.11

[all reports]

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.