From 1d98793ef453db0eea34b620b9635b40b7575a80 Mon Sep 17 00:00:00 2001 From: Christopher Pulte Date: Tue, 14 Jul 2026 16:23:14 +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 1e53579..da92a18 100644 --- a/.github/workflows/run-cn-examples.yml +++ b/.github/workflows/run-cn-examples.yml @@ -22,7 +22,7 @@ jobs: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: repository: rems-project/cn @@ -73,7 +73,7 @@ jobs: opam install --yes cn - name: Checkout cn-tutorial - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: cn-tutorial