[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2022-08-08 08:55:33.250097758 UTC
|
| Compiler |
ghc-8.10.2 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, filepath-1.4.2.1, parsec-3.1.14.0, pretty-1.1.3.6, process-1.6.9.0, text-1.2.3.2, transformers-0.5.6.2, base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, filepath-1.4.2.1, parsec-3.1.14.0, pretty-1.1.3.6, process-1.6.9.0, text-1.2.3.2, transformers-0.5.6.2 |
| Flags |
none
|
Code Coverage
| expressions | 100% (0/0) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 100% (0/0) |
|---|
| local declarations | 100% (0/0) |
|---|
| top-level declarations | 100% (0/0) |
|---|
Build log
[view raw]
Resolving dependencies...
Downloading hol-1.4
Downloaded hol-1.4
Starting hol-1.4
Building hol-1.4
Completed hol-1.4
Test log
No test log was submitted for this report.