diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml index 66b27ab..e16b269 100644 --- a/.github/workflows/deploy-doc.yml +++ b/.github/workflows/deploy-doc.yml @@ -28,7 +28,7 @@ jobs: steps: - name: Checkout tree - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3