fix ci

logsem · Aug 1, 2024 · fe7b145 · fe7b145
1 parent 0bccf3e
commit fe7b145
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -28,7 +28,7 @@ jobs:
     - uses: coq-community/docker-coq-action@v1
       with:
         coq_version: ${{ matrix.coq_version }}
-        ocaml_version: "4.14.1-flambda"
+        ocaml_version: "4.14.2-flambda"
         install: ""
         before_script: |
           sudo chown -R coq:coq . # workaround a permission issue