This commit is contained in:
Jonathan Wren 2020-11-21 11:35:40 -08:00
parent 514ee309b8
commit 828dcaf4bf
No known key found for this signature in database
GPG key ID: 43D5FF8722E7F68A

View file

@ -66,7 +66,7 @@ jobs:
- name: Consistency check
run: |
if [[ $(grep '^# Changelog$' "$FILENAME") != 1 ]]; then
if [[ $(grep -c '^# Changelog$' "$FILENAME") != 1 ]]; then
echo 'Something is wrong with the changelog.'
git diff -- "$FILENAME"
exit 1