diff --git a/.github/workflows/build-z3-cache.yml b/.github/workflows/build-z3-cache.yml index 375b182943..3898184c7e 100644 --- a/.github/workflows/build-z3-cache.yml +++ b/.github/workflows/build-z3-cache.yml @@ -45,7 +45,7 @@ jobs: - name: Restore or create cache id: cache-z3 - uses: actions/cache@v5.0.5 + uses: actions/cache@v6.0.0 with: path: | build/z3 diff --git a/.github/workflows/ocaml.yaml b/.github/workflows/ocaml.yaml index f9d872ebcc..10eaa043fb 100644 --- a/.github/workflows/ocaml.yaml +++ b/.github/workflows/ocaml.yaml @@ -21,7 +21,7 @@ jobs: # Cache ccache (shared across runs) - name: Cache ccache - uses: actions/cache@v5.0.5 + uses: actions/cache@v6.0.0 with: path: ~/.ccache key: ${{ runner.os }}-ccache-${{ github.sha }} @@ -30,7 +30,7 @@ jobs: # Cache opam (compiler + packages) - name: Cache opam - uses: actions/cache@v5.0.5 + uses: actions/cache@v6.0.0 with: path: ~/.opam key: ${{ runner.os }}-opam-${{ matrix.ocaml-version }}-${{ github.sha }}