Build reports for idris-0.12.1
Status: Built successfully.
| No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
|---|---|---|---|---|---|---|---|---|
| Install | Docs | Tests | ||||||
| #1 | BuildFailed | NotTried | NotTried | ghc-8.0.1.20161018 | linux | x86_64 | release -gmp -freestanding -ffi -execonly -ci | More details |
| #2 | BuildFailed | NotTried | NotTried | ghc-8.0.1.20161018 | linux | x86_64 | release -gmp -freestanding -ffi -execonly -ci | More details |