cabal check: add --ignore option
#4330
| Job | Run time |
|---|---|
| 16m 55s | |
| 17m 14s | |
| 17m 13s | |
| 17m 13s | |
| 17m 13s | |
| 17m 12s | |
| 17m 13s | |
| 17m 13s | |
| 17m 14s | |
| 17m 14s | |
| 17m 14s | |
| 17m 8s | |
| 17m 13s | |
| 17m 10s | |
| 17m 10s | |
| 17m 11s | |
| 17m 4s | |
| 17m 6s | |
| 17m 6s | |
| 17m 7s | |
| 0s | |
| 0s | |
| 1s | |
| 0s | |
| 5h 43m 24s |