CI: Don't skip on format
This commit is contained in:
parent
646dcd3838
commit
843071400b
|
|
@ -52,6 +52,6 @@ jobs:
|
|||
- name: Push
|
||||
run: |-
|
||||
if [ -n "$(git status --porcelain)" ]; then
|
||||
git commit . -m "Apply 'make format' [ci skip]" &&
|
||||
git commit . -m "Apply 'make format'" &&
|
||||
git push origin
|
||||
fi
|
||||
|
|
|
|||
Loading…
Reference in New Issue