diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cf00a70..4e91ba1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,7 +12,7 @@ jobs: container: ghcr.io/wildarch/graphalg-ci steps: - name: Checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Build codemirror-lang-graphalg shell: bash run: | diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index bf70ac2..e3af996 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -31,7 +31,7 @@ jobs: container: ghcr.io/wildarch/graphalg-ci steps: - name: Checkout - uses: actions/checkout@v6 + uses: actions/checkout@v7 # The playground and its dependencies, because they are used in pages. - name: Build codemirror-lang-graphalg