CI: Skip later CI on reformat
Small chance a bug gets through, but this will avoid multiple runs on the common case of reformatting users' pull requests, and related run cancellation problems.
This commit is contained in:
parent
5cb8d8291a
commit
4e49941b39
|
|
@ -38,11 +38,11 @@ jobs:
|
||||||
./configure
|
./configure
|
||||||
make venv
|
make venv
|
||||||
source .venv/bin/activate
|
source .venv/bin/activate
|
||||||
make -j 2 format CLANGFORMAT=clang-format-18
|
make -j 4 format CLANGFORMAT=clang-format-18
|
||||||
git status
|
git status
|
||||||
- name: Push
|
- name: Push
|
||||||
run: |-
|
run: |-
|
||||||
if [ -n "$(git status --porcelain)" ]; then
|
if [ -n "$(git status --porcelain)" ]; then
|
||||||
git commit . -m "Apply 'make format'" &&
|
git commit . -m "Apply 'make format' [ci skip]" &&
|
||||||
git push origin
|
git push origin
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue