diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml index 8cfd0ae..80502c8 100644 --- a/.github/workflows/set-up-environment.yml +++ b/.github/workflows/set-up-environment.yml @@ -10,7 +10,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out repository code - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Use OCaml uses: ocaml/setup-ocaml@v2 with: