Unbeheader is already installed by indico[dev]

This commit is contained in:
Adrian Moennich 2023-10-12 11:39:15 +02:00
parent 140d1ecf9d
commit f068cf58bb

View File

@ -161,7 +161,6 @@ jobs:
- name: Check headers
if: success() || failure()
run: |
pipx install unbeheader
echo '::add-matcher::.github/matchers/headers-problem-matcher.json'
unbehead --check
echo '::remove-matcher owner=headers::'