Build reports for Agda-2.6.1

No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 InstallOk Ok NotTried ghc-8.6.3 linux x86_64 -cpphs -debug -enable-cluster-counting More details