Build reports for idris-0.9.4.1

No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 DependencyFailed haskeline-0.4 NotTried NotTried ghc-7.6.3 linux x86_64 none More details
#2 DependencyFailed haskeline-0.4 NotTried NotTried ghc-7.8.3 linux x86_64 none More details
#3 DependencyFailed haskeline-0.4 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#4 DependencyFailed haskeline-0.4 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#5 DependencyFailed haskeline-0.4 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#6 PlanningFailed NotTried NotTried ghc-8.0.1.20161018 linux x86_64 none More details
#7 PlanningFailed NotTried NotTried ghc-8.0.1.20161018 linux x86_64 none More details