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 |