CI: replace ubuntu-latest by hardcoded ubuntu version

because GitHub Actions bumped ubuntu-latest from 22.04 to 24.04, but 24.04 is not yet on ppa:jgross-h/many-coq-versions-ocaml-4-11
mit-plv · Dec 10, 2024 · 7c4588d · 7c4588d
1 parent cf8286f
commit 7c4588d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -12,7 +12,7 @@ on:
 jobs:
   build:
 
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
 
     strategy:
       matrix:
@@ -69,7 +69,7 @@ jobs:
       run: make -j2 all
 
   coq-check-all:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     needs: build
     if: always()
     steps: