cabal check: add --ignore option
#4975
| Job | Run time |
|---|---|
| 30m 33s | |
| 32m 34s | |
| 35m 50s | |
| 39m 19s | |
| 39m 21s | |
| 39m 19s | |
| 39m 20s | |
| 39m 19s | |
| 39m 21s | |
| 39m 20s | |
| 39m 19s | |
| 39m 19s | |
| 38m 55s | |
| 39m 19s | |
| 39m 14s | |
| 39m 19s | |
| 39m 15s | |
| 39m 24s | |
| 39m 15s | |
| 39m 14s | |
| 39m 15s | |
| 39m 15s | |
| 39m 13s | |
| 0s | |
| 0s | |
| 1s | |
| 0s | |
| 14h 44m 33s |