cabal check: add --ignore option
#4331
| Job | Run time |
|---|---|
| 31m 18s | |
| 31m 36s | |
| 31m 37s | |
| 31m 38s | |
| 31m 36s | |
| 31m 36s | |
| 31m 36s | |
| 31m 37s | |
| 31m 37s | |
| 31m 38s | |
| 31m 40s | |
| 31m 37s | |
| 31m 34s | |
| 31m 37s | |
| 31m 38s | |
| 31m 37s | |
| 31m 34s | |
| 31m 33s | |
| 31m 31s | |
| 31m 36s | |
| 0s | |
| 0s | |
| 1s | |
| 0s | |
| 10h 31m 47s |