diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 42ee478..3009369 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -53,7 +53,7 @@ jobs: steps: - name: Checkout tree - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Set-up OCaml ${{ matrix.ocaml-compiler }} uses: ocaml/setup-ocaml@v3