diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 9ef78fb..2369be7 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -21,7 +21,7 @@ jobs: steps: - name: Checkout tree - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 @@ -38,7 +38,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout tree - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 with: @@ -49,7 +49,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout tree - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 with: @@ -60,7 +60,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout tree - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Set-up OCaml uses: ocaml/setup-ocaml@v3 with: diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml index 4f51dd3..8eab81c 100644 --- a/.github/workflows/pre-commit.yml +++ b/.github/workflows/pre-commit.yml @@ -16,7 +16,7 @@ jobs: steps: # Get the code - name: Checkout - uses: actions/checkout@v5 + uses: actions/checkout@v6 # Set up Python with built-in pip caching - name: Set up Python