diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ac86c77d..aa1fcf4d 100644
--- 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
index a651b8e8..4e585e41 100644
--- 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
index 49a81d6a..b334f5cd 100644
--- 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