Although some of their time was freed up by not having to diagnose issues with CI pipelines on the cloud, or writing meta-manager code to tame Slurm :)