diff options
| author | Dax Raad <[email protected]> | 2026-01-30 00:05:05 -0500 |
|---|---|---|
| committer | Dax Raad <[email protected]> | 2026-01-30 00:05:05 -0500 |
| commit | b28891473f16362b9d97d3825e6c969c4988d970 (patch) | |
| tree | 832bd2cd1532eb3b3ea225cebfc8d190f7c64d8d /.github/workflows | |
| parent | 5d0122b5a976105e5924ba99e7b17a814c718947 (diff) | |
| download | opencode-b28891473f16362b9d97d3825e6c969c4988d970.tar.gz opencode-b28891473f16362b9d97d3825e6c969c4988d970.zip | |
ci
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/generate.yml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml index 39263200c..15c99f402 100644 --- a/.github/workflows/generate.yml +++ b/.github/workflows/generate.yml @@ -35,12 +35,8 @@ 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" + git commit -m "chore: generate" --allow-empty 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 "" |