diff options
| author | Dax Raad <[email protected]> | 2026-01-29 23:58:39 -0500 |
|---|---|---|
| committer | Dax Raad <[email protected]> | 2026-01-29 23:58:39 -0500 |
| commit | 1ab4bbc275c0d9a4b7bc5bab1958ba0506a4852b (patch) | |
| tree | f49f56ca048b063d872ee2fe2251f57145019b53 /.github/workflows | |
| parent | 908350c2ea94d657777387c041cf47e313d447c4 (diff) | |
| download | opencode-1ab4bbc275c0d9a4b7bc5bab1958ba0506a4852b.tar.gz opencode-1ab4bbc275c0d9a4b7bc5bab1958ba0506a4852b.zip | |
ci
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/generate.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml index 15c99f402..39263200c 100644 --- a/.github/workflows/generate.yml +++ b/.github/workflows/generate.yml @@ -35,8 +35,12 @@ jobs: - name: Commit and push run: | + if [ -z "$(git status --porcelain)" ]; then + echo "No changes to commit" + exit 0 + fi git add -A - git commit -m "chore: generate" --allow-empty + git commit -m "chore: generate" git push origin HEAD:${{ github.ref_name }} --no-verify # if ! git push origin HEAD:${{ github.event.pull_request.head.ref || github.ref_name }} --no-verify; then # echo "" |