]> git.ipfire.org Git - thirdparty/util-linux.git/commitdiff
ci: update shellcheck
authorThomas Weißschuh <thomas@t-8ch.de>
Fri, 20 Jan 2023 06:43:59 +0000 (06:43 +0000)
committerThomas Weißschuh <thomas@t-8ch.de>
Mon, 23 Jan 2023 13:21:54 +0000 (13:21 +0000)
.github/workflows/differential-shellcheck.yml

index e95b0b7b42d0cc09d5c3637e6b74ba769a5a3ddb..c411e52e08b2e503286d10b4099d44193cb71b9a 100644 (file)
@@ -21,7 +21,7 @@ jobs:
           fetch-depth: 0
 
       - name: Differential ShellCheck
-        uses: redhat-plumbers-in-action/differential-shellcheck@v3
+        uses: redhat-plumbers-in-action/differential-shellcheck@v4
         with:
           severity: warning
           token: ${{ secrets.GITHUB_TOKEN }}