diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 16ff6bb..76c61c0 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -20,7 +20,7 @@ jobs: steps: - name: Checkout tree - uses: actions/checkout@v4 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3