Upgrade shellcheck checkout to make it work again. (#96)

See https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/ and actions/checkout#1047
DOMjudge · Sep 3, 2023 · 4edfdff · 4edfdff
1 parent 39240fd
commit 4edfdff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/shellcheck.yml b/.github/workflows/shellcheck.yml
@@ -7,7 +7,7 @@ jobs:
     name: Shellcheck
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - name: Run ShellCheck
         uses: ludeeus/action-shellcheck@master
         env: