update doc ci

LPCIC · Jan 15, 2025 · 19c1add · 19c1add
1 parent 3ba06ac
commit 19c1add
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -20,12 +20,12 @@ jobs:
       run: sudo apt-get update
 
     - name: checkout
-      uses: actions/checkout@v2
+      uses: actions/checkout@v3
 
     - name: setup ocaml
-      uses: avsm/setup-ocaml@v1
+      uses: avsm/setup-ocaml@v3
       with:
-        ocaml-version: 4.14.2
+        ocaml-compiler: 4.14.2
 
     - name: install deps
       run: |