]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
ci: use the 'slim' version of Super-Linter
authorFrantisek Sumsal <frantisek@sumsal.cz>
Sun, 13 Feb 2022 13:54:51 +0000 (14:54 +0100)
committerFrantisek Sumsal <frantisek@sumsal.cz>
Sun, 13 Feb 2022 13:54:51 +0000 (14:54 +0100)
The 'slim' version drops certain storage-heavy linters[0] which we don't
use anyway, so let's make the job a bit faster by downloading and using
a smaller image.

[0] https://github.com/github/super-linter#slim-image

.github/workflows/linter.yml

index 5424f4d6eaa0d211114cfcd871131eead628b118..6b17c7a6888e9571698d5ace92a45c2712c009a3 100644 (file)
@@ -29,7 +29,7 @@ jobs:
           fetch-depth: 0
 
       - name: Lint Code Base
-        uses: github/super-linter@b8641364ca9a79b3cf07f3c4c59a82709cd39094
+        uses: github/super-linter/slim@b8641364ca9a79b3cf07f3c4c59a82709cd39094
         env:
           DEFAULT_BRANCH: main
           # Excludes: