Build #1 for leancheck-0.9.10

[all reports]

Package leancheck-0.9.10
Install InstallOk
Docs Ok
Tests Ok
Time submitted 2021-06-04 01:08:32.842322842 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% (2861/4380)
booleanguards33% (10/30)
conditions 85% (6/7)
qualifiers80% (4/5)
alternatives63% (92/144)
local declarations94% (65/69)
top-level declarations45% (629/1393)

Build log

[view raw]

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