Update ocaml-setup version (#251)

MLanguage · Jan 28, 2025 · a122ead · a122ead
2 parents 9c23e6c + 9a0a825
commit a122ead
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/binary-releases.yml b/.github/workflows/binary-releases.yml
@@ -22,7 +22,7 @@ jobs:
 
   linux-build:
     # The type of runner that the job will run on
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     needs: create-release
 
     # Steps represent a sequence of tasks that will be executed as part of the job

diff --git a/.github/workflows/check_correctness.yml b/.github/workflows/check_correctness.yml
@@ -16,7 +16,7 @@ jobs:
   # This workflow contains a single job called "build"
   build:
     # The type of runner that the job will run on
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:

diff --git a/.github/workflows/publish_doc.yml b/.github/workflows/publish_doc.yml
@@ -7,7 +7,7 @@ on:
 
 jobs:
   deploy:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v2
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,7 +7,7 @@ on: @@
     jobs:
       deploy:
-        runs-on: ubuntu-latest
+        runs-on: ubuntu-22.04
         steps:
           - uses: actions/checkout@v2
@@ Expand Down @@