From f4e0a6e65fac4433bd79bcaee967341942c920c0 Mon Sep 17 00:00:00 2001 From: Christopher Pulte Date: Tue, 14 Jul 2026 15:59:26 +0100 Subject: [PATCH] Update run-cn-examples.yml --- .github/workflows/run-cn-examples.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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