Build #1 for leancheck-0.9.12

[all reports]

Package leancheck-0.9.12
Install InstallOk
Docs Ok
Tests Ok
Time submitted 2022-08-21 16:30:02.1777266 UTC
Compiler ghc-8.10.2
OS linux
Arch x86_64
Dependencies base-4.14.1.0, template-haskell-2.16.0.0
Flags none

Code Coverage

expressions65% (2870/4381)
booleanguards35% (12/34)
conditions 80% (4/5)
qualifiers80% (4/5)
alternatives64% (93/145)
local declarations95% (69/72)
top-level declarations45% (631/1395)

Build log

[view raw]

Resolving dependencies...
Downloading  leancheck-0.9.12
Downloaded   leancheck-0.9.12
Starting     leancheck-0.9.12
Building     leancheck-0.9.12
Completed    leancheck-0.9.12

Test log

No test log was submitted for this report.