Merge 1815408e73 into 9623807910

2025-12-11 14:22:37 +00:00 · 2025-07-18 12:09:57 +02:00
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@ -29,7 +29,7 @@ jobs:
          # list of changed files within `super-linter`
          fetch-depth: 0
      - name: Lint Code Base
-        uses: super-linter/super-linter@v8
+        uses: super-linter/super-linter@v7
        env:
          DEFAULT_BRANCH: develop
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}