Build reports for idris-1.3.0

No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 InstallOk Ok NotTried ghc-8.2.2 linux x86_64 -ci -execonly -ffi -freestanding -gmp release More details