Build reports for agda-language-server-0.2.6.3.0
Status: Built successfully.
No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
---|---|---|---|---|---|---|---|---|
Install | Docs | Tests | ||||||
#1 | InstallOk | Ok | NotTried | ghc-9.2.4 | linux | x86_64 | -agda-2-6-2-2 | More details |
No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
---|---|---|---|---|---|---|---|---|
Install | Docs | Tests | ||||||
#1 | InstallOk | Ok | NotTried | ghc-9.2.4 | linux | x86_64 | -agda-2-6-2-2 | More details |