Require what4-1.6.1, llvm-pretty-0.12.1 in .cabal files
#808
| Job | Run time |
|---|---|
| 12m 40s | |
| 12m 37s | |
| 11m 28s | |
| 10m 40s | |
| 19m 25s | |
| 1h 6m 50s |
what4-1.6.1, llvm-pretty-0.12.1 in .cabal files
#808
| Job | Run time |
|---|---|
| 12m 40s | |
| 12m 37s | |
| 11m 28s | |
| 10m 40s | |
| 19m 25s | |
| 1h 6m 50s |