github actions

just-max · Apr 17, 2024 · f4c04f5 · f4c04f5
1 parent cd20104
commit f4c04f5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/.github/workflows/odoc.yml b/.github/workflows/odoc.yml
@@ -15,13 +15,16 @@ jobs:
       - name: Checkout tree
         uses: actions/checkout@v3
 
-      - name: Set-up OCaml 5.1
+      - name: Set-up OCaml 5.1.1
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: "5.1"
+          ocaml-compiler: "5.1.1"
           dune-cache: true
 
       - name: Deploy odoc to GitHub Pages
-        uses: ocaml/setup-ocaml/deploy-doc@v2
+        # last version of setup-ocaml with deploy-doc
+        # TODO: https://github.com/ocaml/setup-ocaml/blob/master/EXAMPLES.md
+        #   #using-the-official-github-pages-actions-to-deploy-odoc-to-github-pages
+        uses: ocaml/setup-ocaml/[email protected]
         with:
           destination-dir: ${{ github.head_ref || github.ref_name }}
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -17,7 +17,7 @@ jobs:
         os:
           - ubuntu-latest
         ocaml-compiler:
-          - "5.1"
+          - "5.1.1"
 
     runs-on: ${{ matrix.os }}