[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2024-03-18 01:25:33.872009322 UTC
|
| Compiler |
ghc-9.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.18.1.0, bytestring-0.11.5.2, containers-0.6.7, doclayout-0.4.0.1, mtl-2.3.1, text-2.0.2, base-4.18.1.0, bytestring-0.11.5.2, containers-0.6.7, doclayout-0.4.0.1, text-2.0.2 |
| Flags |
none
|
Code Coverage
| expressions | 92% (7576/8170) |
|---|
| boolean | guards | 53% (51/95) |
|---|
| conditions | 86% (40/46) |
|---|
| qualifiers | 85% (6/7) |
|---|
| alternatives | 82% (584/704) |
|---|
| local declarations | 97% (178/182) |
|---|
| top-level declarations | 32% (371/1157) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting emojis-0.1.3
Starting safe-0.3.21
Building emojis-0.1.3
Building safe-0.3.21
Completed safe-0.3.21
Completed emojis-0.1.3
Starting doclayout-0.4.0.1
Building doclayout-0.4.0.1
Completed doclayout-0.4.0.1
Downloading djot-0.1.1.3
Downloaded djot-0.1.1.3
Starting djot-0.1.1.3
Building djot-0.1.1.3
Completed djot-0.1.1.3
Test log
[view raw]
Resolving dependencies...
Build profile: -w ghc-9.6.3 -O0
In order, the following will be built (use -v for more details):
- djot-0.1.1.3 (first run)
Configuring djot-0.1.1.3...
Preprocessing library for djot-0.1.1.3..
Building library for djot-0.1.1.3..
[1 of 9] Compiling Djot.AST ( src/Djot/AST.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/AST.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/AST.dyn_o )
[2 of 9] Compiling Djot.Options ( src/Djot/Options.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Options.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Options.dyn_o )
[3 of 9] Compiling Djot.Parse ( src/Djot/Parse.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Parse.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Parse.dyn_o )
[4 of 9] Compiling Djot.Html ( src/Djot/Html.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Html.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Html.dyn_o )
[5 of 9] Compiling Djot.Djot ( src/Djot/Djot.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Djot.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Djot.dyn_o )
[6 of 9] Compiling Djot.Attributes ( src/Djot/Attributes.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Attributes.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Attributes.dyn_o )
[7 of 9] Compiling Djot.Inlines ( src/Djot/Inlines.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Inlines.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Inlines.dyn_o )
[8 of 9] Compiling Djot.Blocks ( src/Djot/Blocks.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Blocks.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot/Blocks.dyn_o )
[9 of 9] Compiling Djot ( src/Djot.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/Djot.dyn_o )
Preprocessing executable 'djoths' for djot-0.1.1.3..
Building executable 'djoths' for djot-0.1.1.3..
[1 of 1] Compiling Main ( app/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/djoths/djoths-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/djoths/djoths
Preprocessing test suite 'test-djot' for djot-0.1.1.3..
Building test suite 'test-djot' for djot-0.1.1.3..
[1 of 1] Compiling Main ( test/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/test-djot/test-djot-tmp/Main.o )
[2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/djot-0.1.1.3/noopt/build/test-djot/test-djot
Running 1 test suites...
Test suite test-djot: RUNNING...
Test suite test-djot: PASS
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/djot-0.1.1.3.test
Writing: djot-0.1.1.3-inplace/Djot.Inlines.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Attributes.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Djot.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Html.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Blocks.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Options.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Parse.hs.html
Writing: djot-0.1.1.3-inplace/Djot.AST.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.6.3/djot-0.1.1.3/noopt/hpc/vanilla/html/test-djot/hpc_index.html
1 of 1 test suites (1 of 1 test cases) passed.
Writing: djot-0.1.1.3-inplace/Djot.Inlines.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Attributes.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Djot.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Html.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Blocks.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Options.hs.html
Writing: djot-0.1.1.3-inplace/Djot.Parse.hs.html
Writing: djot-0.1.1.3-inplace/Djot.AST.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.6.3/djot-0.1.1.3/noopt/hpc/vanilla/html/djot-0.1.1.3/hpc_index.html