Bump actions.

savonet · Feb 24, 2025 · e1ac4b9 · e1ac4b9
1 parent 692070e
commit e1ac4b9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -12,9 +12,9 @@ jobs:
     - name: Checkout code
       uses: actions/checkout@v4
     - name: Setup OCaml
-      uses: ocaml/setup-ocaml@v2
+      uses: ocaml/setup-ocaml@v3
       with:
-        ocaml-compiler: 5.00
+        ocaml-compiler: 5.3
     - name: Pin locally
       run: opam pin -y add -n .
     - name: Install locally

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -7,9 +7,9 @@ jobs:
     - name: Checkout
       uses: actions/checkout@v4
     - name: Setup OCaml
-      uses: ocaml/setup-ocaml@v2
+      uses: ocaml/setup-ocaml@v3
       with:
-        ocaml-compiler: 5.00
+        ocaml-compiler: 5.3
     - name: Install required packages
       run: sudo apt install ffmpeg
     - name: Pin package