The self-hosted Github runners have been provisioned, and we can switch to using them for evaluation. To prefer Github-hosted runners, you can safely revert this commit. See: t/123181.