Remove setup-ocaml step

apalache-mc · Feb 6, 2021 · 22f2379 · 22f2379
1 parent f7f9902
commit 22f2379
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -20,17 +20,19 @@ jobs:
           mdbook-version: "0.4.5"
           # mdbook-version: 'latest'
 
-      - name: Use OCaml 4.11.0
-        uses: actions-ml/setup-ocaml@8047ff86bc363ab5a0ba4323ac99e1800daaa622
-        with:
-          ocaml-version: 4.11.0
+      # - name: Use OCaml 4.11.0
+      #   uses: actions-ml/setup-ocaml@8047ff86bc363ab5a0ba4323ac99e1800daaa622
+      #   with:
+      #     ocaml-version: 4.11.0
 
       # - name: Install emojitsu
       #   run: |
       #     opam pin https://github.com/shonfeder/emojitsu.git#0.0.5
 
       - name: Build the mdBook
         run: |
+          set -x
+
           cd docs
 
           # Install emojitsu