Build reports for copilot-theorem-3.0

No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 DependencyFailed copilot-theorem-3.0 NotTried NotTried ghc-8.6.3 linux x86_64 none More details
#2 DependencyFailed copilot-theorem-3.0 NotTried NotTried ghc-8.6.3 linux x86_64 none More details