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