ci: Update setup-ocaml to v3

kind2-mc · Jan 7, 2025 · eda5c8f · eda5c8f
1 parent 2598e51
commit eda5c8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/build-kind2/action.yml b/.github/actions/build-kind2/action.yml
@@ -25,7 +25,7 @@ runs:
       echo "::endgroup::"
 
   - name: Set up OCaml ${{ steps.ocaml-variant.outputs.tag }}
-    uses: ocaml/setup-ocaml@v2
+    uses: ocaml/setup-ocaml@v3
     with:
       ocaml-compiler: ${{ steps.ocaml-variant.outputs.compiler }}