Build #1 for type-natural-1.2.0.1
| Package | type-natural-1.2.0.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Failed |
| Tests | NotTried |
| Time submitted | 2022-11-25 08:40:35.763275574 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.16.3.0, constraints-0.13.4, equational-reasoning-0.7.0.1, ghc-9.2.4, ghc-typelits-knownnat-0.7.7, ghc-typelits-natnormalise-0.7.7, ghc-typelits-presburger-0.7.1.0, integer-logarithms-1.0.3.1, template-haskell-2.18.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting integer-logarithms-1.0.3.1 Starting hashable-1.4.1.0 Starting ordered-containers-0.2.3 Starting safe-0.3.19 Starting reflection-2.1.6 Starting th-compat-0.1.4 Starting transformers-compat-0.7.2 Starting syb-0.7.2.2 Starting void-0.7.3 Starting th-abstraction-0.4.5.0 Starting type-equality-1 Starting ghc-tcplugins-extra-0.4.3 Building ordered-containers-0.2.3 Building integer-logarithms-1.0.3.1 Building safe-0.3.19 Building syb-0.7.2.2 Building type-equality-1 Building reflection-2.1.6 Building hashable-1.4.1.0 Building th-compat-0.1.4 Building transformers-compat-0.7.2 Building void-0.7.3 Building ghc-tcplugins-extra-0.4.3 Building th-abstraction-0.4.5.0 Completed void-0.7.3 Completed type-equality-1 Completed integer-logarithms-1.0.3.1 Completed th-compat-0.1.4 Completed syb-0.7.2.2 Completed safe-0.3.19 Completed ordered-containers-0.2.3 Completed transformers-compat-0.7.2 Completed reflection-2.1.6 Completed th-abstraction-0.4.5.0 Starting th-lift-0.8.2 Starting th-expand-syns-0.4.10.0 Completed hashable-1.4.1.0 Starting constraints-0.13.4 Building th-lift-0.8.2 Building th-expand-syns-0.4.10.0 Building constraints-0.13.4 Completed ghc-tcplugins-extra-0.4.3 Starting ghc-typelits-presburger-0.7.1.0 Starting ghc-typelits-natnormalise-0.7.7 Completed th-expand-syns-0.4.10.0 Starting th-reify-many-0.1.10 Completed th-lift-0.8.2 Building ghc-typelits-presburger-0.7.1.0 Building ghc-typelits-natnormalise-0.7.7 Building th-reify-many-0.1.10 Completed constraints-0.13.4 Completed th-reify-many-0.1.10 Starting th-orphans-0.13.14 Building th-orphans-0.13.14 Completed ghc-typelits-natnormalise-0.7.7 Starting ghc-typelits-knownnat-0.7.7 Building ghc-typelits-knownnat-0.7.7 Completed th-orphans-0.13.14 Starting th-desugar-1.14 Building th-desugar-1.14 Completed ghc-typelits-presburger-0.7.1.0 Completed ghc-typelits-knownnat-0.7.7 Completed th-desugar-1.14 Starting equational-reasoning-0.7.0.1 Building equational-reasoning-0.7.0.1 Completed equational-reasoning-0.7.0.1 Starting type-natural-1.2.0.1 Building type-natural-1.2.0.1 Completed type-natural-1.2.0.1
Test log
No test log was submitted for this report.