diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 9d01fad3f..e1e75f455 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -30,7 +30,7 @@ jobs: contents: write steps: - name: Checkout - uses: actions/checkout@v4 + uses: actions/checkout@v7 - name: Set up OCaml uses: ocaml/setup-ocaml@v3 @@ -81,7 +81,7 @@ jobs: opam install wodoc - name: Checkout gh-pages - uses: actions/checkout@v4 + uses: actions/checkout@v7 with: ref: gh-pages path: site diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index bf026392d..c97759b52 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -33,7 +33,7 @@ jobs: steps: - name: Checkout tree - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 @@ -50,7 +50,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout tree - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 with: