Build #1 for leancheck-1.0.0

[all reports]

Package leancheck-1.0.0
Install InstallOk
Docs Ok
Tests Ok
Time submitted 2022-08-22 08:39:24.996682579 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-1.0.0
Downloaded   leancheck-1.0.0
Starting     leancheck-1.0.0
Building     leancheck-1.0.0
Completed    leancheck-1.0.0

Test log

No test log was submitted for this report.