Build reports for agda-language-server-0.0.3.0

Status: Built successfully.
No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 BuildFailed NotTried NotTried ghc-8.10.2 linux x86_64 none More details
#2 BuildFailed NotTried NotTried ghc-8.10.2 linux x86_64 none More details
#3 BuildFailed NotTried NotTried ghc-8.10.2 linux x86_64 none More details