diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml index 13a73b8..e7e7cc5 100644 --- a/.github/workflows/ocaml.yml +++ b/.github/workflows/ocaml.yml @@ -13,7 +13,7 @@ jobs: with-doc: true runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 - uses: RedPRL/actions-ocaml@v2 with: ocaml-compiler: ${{ matrix.ocaml-compiler }}