fix ci

WojciechMazur · Oct 23, 2024 · 3a44a9f · 3a44a9f
1 parent e7b3028
commit 3a44a9f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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