ci: if git log fails, don't skip steps and succeed

Eg git log fails after force-push to a PR right now.
This commit is contained in:
Simon Michael 2021-08-17 22:02:34 -10:00
parent 3426030a91
commit df6667232f
4 changed files with 8 additions and 8 deletions

View File

@ -118,8 +118,8 @@ jobs:
- name: Skip remaining CI steps if latest commit message begins with ; - name: Skip remaining CI steps if latest commit message begins with ;
run: | run: |
git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \ git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog
| grep -qE '^ *;' || echo "CONTINUE=true" >> $GITHUB_ENV grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV
# things to be cached/restored: # things to be cached/restored:

View File

@ -75,8 +75,8 @@ jobs:
- name: Skip remaining CI steps if latest commit message begins with ; - name: Skip remaining CI steps if latest commit message begins with ;
run: | run: |
git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \ git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog
| grep -qE '^ *;' || echo "CONTINUE=true" >> $GITHUB_ENV grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV
# things to be cached/restored: # things to be cached/restored:

View File

@ -86,8 +86,8 @@ jobs:
- name: Skip remaining CI steps if latest commit message begins with ; - name: Skip remaining CI steps if latest commit message begins with ;
run: | run: |
git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \ git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog
| grep -qE '^ *;' || echo "CONTINUE=true" >> $GITHUB_ENV grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV
# things to be cached/restored: # things to be cached/restored:

View File

@ -70,8 +70,8 @@ jobs:
- name: Skip remaining CI steps if latest commit message begins with ; - name: Skip remaining CI steps if latest commit message begins with ;
shell: bash shell: bash
run: | run: |
git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} \ git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog
| grep -qE '^ *;' || echo "CONTINUE=true" >> $GITHUB_ENV grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV
# things to be cached/restored: # things to be cached/restored: