From 6e15ebc2f2b691a36e6c5cf47d45a4d3807ac845 Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Tue, 14 Jan 2025 11:40:38 +0100
Subject: [PATCH] fix: latest version of setup ocaml

---
 .github/workflows/cd.yml             | 2 +-
 .github/workflows/publish-server.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml
index f119559ea..3307b5165 100644
--- a/.github/workflows/cd.yml
+++ b/.github/workflows/cd.yml
@@ -16,7 +16,7 @@ jobs:
       uses: actions/checkout@v3
 
     - name: Use OCaml ${{ matrix.ocaml-compiler }}
-      uses: avsm/setup-ocaml@v2
+      uses: avsm/setup-ocaml@v3
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
 
diff --git a/.github/workflows/publish-server.yml b/.github/workflows/publish-server.yml
index 229a66162..3bb95fb49 100644
--- a/.github/workflows/publish-server.yml
+++ b/.github/workflows/publish-server.yml
@@ -17,7 +17,7 @@ jobs:
       uses: actions/checkout@v3
 
     - name: Use OCaml ${{ matrix.ocaml-compiler }}
-      uses: avsm/setup-ocaml@v2
+      uses: avsm/setup-ocaml@v3
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}