ci: tweak

This commit is contained in:
Simon Michael 2021-08-18 18:05:02 -10:00
parent 818e098b04
commit 90612c1444
4 changed files with 8 additions and 8 deletions

View File

@ -119,8 +119,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: |
echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog" echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog"
git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog
&& (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV) && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV))
|| ( echo "could not identify commit range, continuing CI steps") || ( echo "could not identify commit range, continuing CI steps")
# things to be cached/restored: # things to be cached/restored:

View File

@ -76,8 +76,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: |
echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog" echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog"
git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog
&& (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV) && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV))
|| ( echo "could not identify commit range, continuing CI steps") || ( echo "could not identify commit range, continuing CI steps")
# things to be cached/restored: # things to be cached/restored:

View File

@ -87,8 +87,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: |
echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog" echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog"
git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog
&& (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV) && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV))
|| ( echo "could not identify commit range, continuing CI steps") || ( echo "could not identify commit range, continuing CI steps")
# 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 ;
run: | run: |
echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog" echo "git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog"
git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog (git log -1 --pretty='%s' ${GITHUB_HEAD_REF:+origin/$GITHUB_HEAD_REF} >> $$.gitlog
&& (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV) && (grep -qE '^ *;' $$.gitlog || echo "CONTINUE=true" >> $GITHUB_ENV))
|| ( echo "could not identify commit range, continuing CI steps") || ( echo "could not identify commit range, continuing CI steps")
# things to be cached/restored: # things to be cached/restored: