Build reports for pi-forall-0.1.1
Status: Built successfully.
No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
---|---|---|---|---|---|---|---|---|
Install | Docs | Tests | ||||||
#1 | BuildFailed | NotTried | NotTried | ghc-8.0.1.20160701 | linux | x86_64 | none | More details |
#2 | BuildFailed | NotTried | NotTried | ghc-8.0.1.20161018 | linux | x86_64 | none | More details |
#3 | BuildFailed | NotTried | NotTried | ghc-8.0.1.20161018 | linux | x86_64 | none | More details |