Build #1 for decidable-0.3.1.0
Package | decidable-0.3.1.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2023-07-04 10:09:21.297367818 UTC |
---|---|
Compiler | ghc-9.2.4 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.16.3.0, functor-products-0.1.2.0, microlens-0.4.13.1, singletons-3.0.1, singletons-base-3.1, vinyl-0.14.3 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting microlens-0.4.13.1 Starting ordered-containers-0.2.3 Starting safe-0.3.19 Starting singletons-3.0.1 Starting th-compat-0.1.4 Starting transformers-compat-0.7.2 Starting th-abstraction-0.4.5.0 Starting syb-0.7.2.3 Starting vinyl-0.14.3 Building singletons-3.0.1 Building microlens-0.4.13.1 Building safe-0.3.19 Building ordered-containers-0.2.3 Building transformers-compat-0.7.2 Building th-abstraction-0.4.5.0 Building syb-0.7.2.3 Building vinyl-0.14.3 Building th-compat-0.1.4 Completed th-compat-0.1.4 Completed singletons-3.0.1 Completed microlens-0.4.13.1 Completed safe-0.3.19 Completed syb-0.7.2.3 Completed transformers-compat-0.7.2 Completed ordered-containers-0.2.3 Completed th-abstraction-0.4.5.0 Starting th-expand-syns-0.4.11.0 Starting th-lift-0.8.3 Building th-expand-syns-0.4.11.0 Building th-lift-0.8.3 Completed vinyl-0.14.3 Completed th-expand-syns-0.4.11.0 Starting th-reify-many-0.1.10 Completed th-lift-0.8.3 Building th-reify-many-0.1.10 Completed th-reify-many-0.1.10 Starting th-orphans-0.13.14 Building th-orphans-0.13.14 Completed th-orphans-0.13.14 Starting th-desugar-1.13.1 Building th-desugar-1.13.1 Completed th-desugar-1.13.1 Starting singletons-th-3.1 Building singletons-th-3.1 Completed singletons-th-3.1 Starting singletons-base-3.1 Building singletons-base-3.1 Completed singletons-base-3.1 Downloading functor-products-0.1.2.0 Downloaded functor-products-0.1.2.0 Starting functor-products-0.1.2.0 Building functor-products-0.1.2.0 Completed functor-products-0.1.2.0 Downloading decidable-0.3.1.0 Downloaded decidable-0.3.1.0 Starting decidable-0.3.1.0 Building decidable-0.3.1.0 Completed decidable-0.3.1.0
Test log
[view raw]
Resolving dependencies... No tests to run for all the packages in the project