Build #1 for ghc-typelits-presburger-0.7.1.0

[all reports]

Package ghc-typelits-presburger-0.7.1.0
Install InstallOk
Docs Ok
Tests Ok
Time submitted 2022-11-25 08:53:47.701345856 UTC
Compiler ghc-9.2.4
OS linux
Arch x86_64
Dependencies base-4.16.3.0, containers-0.6.5.1, ghc-9.2.4, ghc-tcplugins-extra-0.4.3, mtl-2.2.2, pretty-1.1.3.6, reflection-2.1.6, syb-0.7.2.2, transformers-0.5.6.2
Flags -examples

Code Coverage

expressions100% (0/0)
booleanguards100% (0/0)
conditions 100% (0/0)
qualifiers100% (0/0)
alternatives100% (0/0)
local declarations100% (0/0)
top-level declarations100% (0/0)

Build log

[view raw]

Resolving dependencies...
Starting     reflection-2.1.6
Starting     ghc-tcplugins-extra-0.4.3
Starting     syb-0.7.2.2
Building     reflection-2.1.6
Building     ghc-tcplugins-extra-0.4.3
Building     syb-0.7.2.2
Completed    syb-0.7.2.2
Completed    reflection-2.1.6
Completed    ghc-tcplugins-extra-0.4.3
Starting     ghc-typelits-presburger-0.7.1.0
Building     ghc-typelits-presburger-0.7.1.0
Completed    ghc-typelits-presburger-0.7.1.0

Test log

No test log was submitted for this report.