diff --git a/.github/workflows/run-cn-examples.yml b/.github/workflows/run-cn-examples.yml index a304b26..1e53579 100644 --- a/.github/workflows/run-cn-examples.yml +++ b/.github/workflows/run-cn-examples.yml @@ -32,7 +32,7 @@ jobs: - name: Restore OPAM cache id: cache-opam-restore - uses: actions/cache/restore@v4 + uses: actions/cache/restore@v5 with: path: ~/.opam key: ${{ matrix.version }} @@ -46,7 +46,7 @@ jobs: opam install --deps-only --yes ./cn.opam z3 - name: Save OPAM cache - uses: actions/cache/save@v4 + uses: actions/cache/save@v5 if: steps.cache-opam-restore.outputs.cache-hit != 'true' with: path: ~/.opam