default to --check-level=exhaustive
internally / several related cleanups
#11860
Job | Run time |
---|---|
1m 49s | |
4m 13s | |
5m 20s | |
4m 34s | |
6m 24s | |
4m 34s | |
26m 54s |