Build reports for liquid-fixpoint-8.10.7
Status: 2 consecutive failures.
No. | Outcome | Compiler | OS | Arch | Flags | Details | ||
---|---|---|---|---|---|---|---|---|
Install | Docs | Tests | ||||||
#1 | DependencyFailed liquid-fixpoint-8.10.7 | NotTried | NotTried | ghc-8.10.2 | linux | x86_64 | -devel | More details |
#2 | DependencyFailed liquid-fixpoint-8.10.7 | NotTried | NotTried | ghc-8.10.2 | linux | x86_64 | -devel | More details |