Merge pull request #22499 from mrc0mmand/ci-tweaks

A couple of Packit/Super-Linter tweaks
This commit is contained in:
Evgeny Vereshchagin 2022-02-13 19:13:05 +03:00 committed by GitHub
commit 74b781de25
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 1 deletions

View file

@ -29,9 +29,10 @@ jobs:
fetch-depth: 0
- name: Lint Code Base
uses: github/super-linter@b8641364ca9a79b3cf07f3c4c59a82709cd39094
uses: github/super-linter/slim@b8641364ca9a79b3cf07f3c4c59a82709cd39094
env:
DEFAULT_BRANCH: main
MULTI_STATUS: false
# Excludes:
# - man/.* - all snippets in man pages (false positives due to
# missing shebangs)

View file

@ -40,4 +40,5 @@ jobs:
- fedora-rawhide-aarch64
- fedora-rawhide-i386
- fedora-rawhide-ppc64le
- fedora-rawhide-s390x
- fedora-rawhide-x86_64