we do not want PRs to be pushing generated stuff do we?
This commit is contained in:
parent
958b80e1b0
commit
fbb7d0da10
|
@ -34,7 +34,7 @@ jobs:
|
||||||
bash hellen-one/bin/gha-commit.sh
|
bash hellen-one/bin/gha-commit.sh
|
||||||
|
|
||||||
- name: Push board files
|
- name: Push board files
|
||||||
if: ${{env.NOCOMMIT != 'true'}}
|
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' && env.NOCOMMIT != 'true'}}
|
||||||
uses: ad-m/github-push-action@master
|
uses: ad-m/github-push-action@master
|
||||||
with:
|
with:
|
||||||
github_token: ${{ github.token }}
|
github_token: ${{ github.token }}
|
||||||
|
|
Loading…
Reference in New Issue