diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 41a515a3..56ca1f8f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -32,7 +32,7 @@ jobs: steps: - name: Checkout tree - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3