[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-04-24 23:32:52.137368919 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, mtl-2.2.2, transformers-0.5.6.2 |
| Flags |
none
|
Code Coverage
| expressions | 55% (349/626) |
|---|
| boolean | guards | 33% (1/3) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 56% (13/23) |
|---|
| local declarations | 40% (4/10) |
|---|
| top-level declarations | 48% (39/80) |
|---|
Build log
[view raw]
Resolving dependencies...
Downloading logict-0.8.1.0
Downloaded logict-0.8.1.0
Starting logict-0.8.1.0
Building logict-0.8.1.0
Completed logict-0.8.1.0
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.2.4 -O0
In order, the following will be built (use -v for more details):
- logict-0.8.1.0 (first run)
Configuring logict-0.8.1.0...
Preprocessing library for logict-0.8.1.0..
Building library for logict-0.8.1.0..
[1 of 2] Compiling Control.Monad.Logic.Class ( Control/Monad/Logic/Class.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/logict-0.8.1.0/noopt/build/Control/Monad/Logic/Class.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/logict-0.8.1.0/noopt/build/Control/Monad/Logic/Class.dyn_o )
[2 of 2] Compiling Control.Monad.Logic ( Control/Monad/Logic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/logict-0.8.1.0/noopt/build/Control/Monad/Logic.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/logict-0.8.1.0/noopt/build/Control/Monad/Logic.dyn_o )
Preprocessing test suite 'logict-tests' for logict-0.8.1.0..
Building test suite 'logict-tests' for logict-0.8.1.0..
[1 of 1] Compiling Main ( test/Test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/logict-0.8.1.0/noopt/build/logict-tests/logict-tests-tmp/Main.o )
Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/logict-0.8.1.0/noopt/build/logict-tests/logict-tests ...
Running 1 test suites...
Test suite logict-tests: RUNNING...
Test suite logict-tests: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/logict-0.8.1.0.test
Writing: logict-0.8.1.0-inplace/Control.Monad.Logic.Class.hs.html
Writing: logict-0.8.1.0-inplace/Control.Monad.Logic.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Test coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/logict-0.8.1.0/noopt/hpc/vanilla/html/logict-tests/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: logict-0.8.1.0-inplace/Control.Monad.Logic.Class.hs.html
Writing: logict-0.8.1.0-inplace/Control.Monad.Logic.hs.html
Writing: hpc_index.html
Writing: hpc_index_fun.html
Writing: hpc_index_alt.html
Writing: hpc_index_exp.html
Package coverage report written to
/home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/logict-0.8.1.0/noopt/hpc/vanilla/html/logict-0.8.1.0/hpc_index.html