From 19c1adda6adfc7817676a1556fa36807086b673a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 15 Jan 2025 15:09:27 +0100
Subject: [PATCH] update doc ci

---
 .github/workflows/doc.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 25a2ee04a..d29ca187f 100644
--- 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: |