Run shorter CI steps on GitHub runners

Avoid queuing on `stove` behind the longer build. Also use latest GitHub-supported Ubuntu.
CakeML · Aug 8, 2024 · 8535bdb · 8535bdb
1 parent d55bdb1
commit 8535bdb
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/.github/workflows/pure.yml b/.github/workflows/pure.yml
@@ -20,7 +20,7 @@ jobs:
 
   build:
     runs-on: self-hosted
-    container: ubuntu:20.04
+    container: ubuntu-latest
     timeout-minutes: 600
 
     env:
@@ -156,8 +156,7 @@ jobs:
     needs: build
     permissions:
       contents: write
-    runs-on: self-hosted
-    container: ubuntu:20.04
+    runs-on: ubuntu-latest
     env:
       COMMITS: ${{ github.workspace }}/commits.txt
 
@@ -190,8 +189,7 @@ jobs:
 
   notify:
     needs: build
-    runs-on: self-hosted
-    container: ubuntu:20.04
+    runs-on: ubuntu-latest
     if: ${{ always() }}
 
     steps: