dridi
commented
4 weeks ago Approximately 15m (29m before this change) for the sanitizer job vs 11m for other jobs.
The large instance will consume more cci credits, but we should also save credits on time spent running jobs.
This is an attempt at speeding up this job that usually takes three time as long as other distcheck jobs.