diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 0a89bf12f757..029f699d767d 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -453,7 +453,7 @@ jobs: test_release: permissions: contents: write # for actions/create-release to create a release - runs-on: [self-hosted, Linux] + runs-on: ubuntu-22.04 container: image: lampepfl/dotty:2024-10-18 options: --cpu-shares 4096