Update main.yml

LPCIC · Jan 15, 2025 · ab1554e · ab1554e
1 parent 84c46ef
commit ab1554e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: |