diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index af0a3d29b..9861cd43f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -72,7 +72,7 @@ jobs:
           name: Coq-Elpi ${{ github.ref }} for Coq XXX
 
       - name: Use OCaml 4.14.x
-        uses: avsm/setup-ocaml@v2
+        uses: avsm/setup-ocaml@v3
         with:
           ocaml-compiler: 4.14.x
           opam-local-packages: |