Merge pull request #860 from o1-labs/dw/bump-up-ci-docs

CI: bump up images
o1-labs · Jan 7, 2025 · 25a5acb · 25a5acb
2 parents 03b0bb5 + 1bce975
commit 25a5acb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -11,12 +11,12 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repository
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: Use OCaml "4.14.0"
-        uses: avsm/setup-ocaml@v1
+        uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-version: 4.14.0
+          ocaml-compiler: "4.14.0"
 
       - name: Build Documentation
         run: |