Merge pull request #852 from o1-labs/dw/fix-ci

CI: make it happier

.github/workflows/build.yml

@@ -1,7 +1,7 @@
 name: Check build
 
 on:
-  [pull_request]
+  pull_request:
 
 jobs:
   check_build:
@@ -18,12 +18,13 @@ jobs:
 
     steps:
       - name: Get code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: Use OCaml ${{ matrix.ocaml-version }}
-        uses: avsm/setup-ocaml@v1
+        uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-version: ${{ matrix.ocaml-version }}
+          ocaml-compiler: ${{ matrix.ocaml-version }}
+          disable-cache: true
 
       - name: Build
         run: |

.github/workflows/docker.yml

@@ -1,21 +1,18 @@
 name: ci
 
 on:
-  [pull_request]
+  pull_request:
 
 jobs:
   docker-build:
     runs-on: ubuntu-latest
     steps:
-      -
-        name: Checkout
-        uses: actions/checkout@v2
-      -
-        uses: docker/setup-buildx-action@v1
+      - name: Checkout
+        uses: actions/checkout@v4
+      - uses: docker/setup-buildx-action@v3
         id: docker-build
         with:
           install: true
-      -
-        name: Build
+      - name: Build
         run: |
           docker build . # will run buildx

.github/workflows/docs.yml

@@ -1,39 +1,37 @@
 name: Deploy Docs to GitHub Pages
 
 on:
-    push:
-        branches:
-            - master
+  push:
+    branches:
+      - master
 
 jobs:
-    release:
-        name: GitHub Pages
-        runs-on: ubuntu-latest
+  release:
+    name: GitHub Pages
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v2
 
-        steps:
-            - name: Checkout Repository
-              uses: actions/checkout@v2
+      - name: Use OCaml "4.14.0"
+        uses: avsm/setup-ocaml@v1
+        with:
+          ocaml-version: 4.14.0
 
-            - name: Use OCaml "4.14.0"
-              uses: avsm/setup-ocaml@v1
-              with:
-                ocaml-version: 4.14.0
-
-            - name: Build Documentation
-              run: |
-                eval $(opam env)
-                opam pin add . -y
-                opam install odoc
-                make website
-                cd website/website
-                yarn
-                yarn build
-                pwd
-                ls
-                ls build
-
-            - name: Deploy
-              uses: peaceiris/actions-gh-pages@v3
-              with:
-                github_token: ${{ secrets.GITHUB_TOKEN }}
-                publish_dir: ./website/website/build/snarky
+      - name: Build Documentation
+        run: |
+          eval $(opam env)
+          opam pin add . -y
+          opam install odoc
+          make website
+          cd website/website
+          yarn
+          yarn build
+          pwd
+          ls
+          ls build
+      - name: Deploy
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./website/website/build/snarky