Build reports for Agda-2.5.4.1
Status: Built successfully.
No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
---|---|---|---|---|---|---|---|---|
Install | Docs | Tests | ||||||
#1 | ConfigureFailed | NotTried | NotTried | ghc-8.4.3 | linux | x86_64 | cpphs -debug -enable-cluster-counting | More details |