Build reports for Agda-2.8.0

Status: Built successfully.
No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 InstallOk Ok NotTried ghc-9.8.4 linux x86_64 -debug -debug-parsing -debug-serialisation -dump-core -enable-cluster-counting optimise-heavily -use-xdg-data-home More details