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