Try actions-ml version

apalache-mc · Feb 6, 2021 · 842f2a8 · 842f2a8
1 parent 7583bbe
commit 842f2a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -21,7 +21,7 @@ jobs:
           # mdbook-version: 'latest'
 
       - name: Use OCaml 4.11.0
-        uses: avsm/setup-ocaml@v1
+        uses: actions-ml/setup-ocaml@8047ff86bc363ab5a0ba4323ac99e1800daaa622
         with:
           ocaml-version: 4.11.0