Require what4-1.6.1, llvm-pretty-0.12.1 in .cabal files
#2222
| Job | Run time |
|---|---|
| 7s | |
| 37m 10s | |
| 0s | |
| 33m 34s | |
| 33m 23s | |
| 31m 32s | |
| 30m 35s | |
| 26m 5s | |
| 3h 12m 26s |
what4-1.6.1, llvm-pretty-0.12.1 in .cabal files
#2222
| Job | Run time |
|---|---|
| 7s | |
| 37m 10s | |
| 0s | |
| 33m 34s | |
| 33m 23s | |
| 31m 32s | |
| 30m 35s | |
| 26m 5s | |
| 3h 12m 26s |