Bump OCaml compiler version used in CI (#256)

AU-COBRA · Jan 14, 2025 · cc2f514 · cc2f514
2 parents 0e112c6 + a71406e
commit cc2f514
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,5 +1,6 @@
 name: Build
 on:
+  workflow_dispatch:
   push:
     branches:
     - 'master'
@@ -26,8 +27,8 @@ concurrency:
 permissions:
   contents: read
 env:
-  OCAML_COMILER_VERSION: "4.13.1"
-  JOBS: 2
+  OCAML_COMILER_VERSION: "4.14.2"
+  JOBS: 4
 jobs:
   build:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/lint-opam.yml b/.github/workflows/lint-opam.yml
@@ -1,5 +1,6 @@
 name: Lint Opam
 on:
+  workflow_dispatch:
   pull_request:
     paths:
     - '**.opam'
@@ -17,7 +18,7 @@ jobs:
       - name: Set up opam
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 4.13.x
+          ocaml-compiler: 4.14.x
           opam-repositories: |
             coq-released: https://coq.inria.fr/opam/released
             default: https://opam.ocaml.org

diff --git a/.github/workflows/refresh-cache.yml b/.github/workflows/refresh-cache.yml
@@ -1,5 +1,6 @@
 name: Refresh cache
 on:
+  workflow_dispatch:
   schedule:
     - cron: 0 1 * * MON
 concurrency:
@@ -8,7 +9,7 @@ concurrency:
 permissions:
   contents: read
 env:
-  OCAML_COMILER_VERSION: "4.13.1"
+  OCAML_COMILER_VERSION: "4.14.2"
 jobs:
   cache:
     runs-on: ubuntu-latest