aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-05-25 09:50:17 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-05-25 09:50:17 -0700
commitfe000134a86d6ee287e6c01f8ab70d9f99a7c9ed (patch)
tree0be1059926f9597a9a7e68151f625392fbca2b6f /.github
parentfdf34816a528740ec53ba392609f37d3e70a2f85 (diff)
downloadpandoc-fe000134a86d6ee287e6c01f8ab70d9f99a7c9ed.tar.gz
CI: another attempt to fix line-length check.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml3
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d935ce079..0eeb2f086 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -61,8 +61,7 @@ jobs:
- name: Check commit message
run: |
# Get last commit message
- git log -1 --pretty=format:"%s" --no-merges | grep -c "^[^#].{78}"
- if [ $? -eq 0 ]; then
+ if git log -1 --pretty=format:"%s" --no-merges | grep -E -c "^[^#].{78}"; then
echo "Last commit log contains a line with more than 78 characters."
exit 1
else