diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 9778d5f..4a16dc3 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -145,10 +145,11 @@ jobs: git config --global user.email "github-actions[bot]@users.noreply.github.com" git config --global user.name "github-actions[bot]" + # Add and commit without changing message - name: Git Add run: | git add esbmc_ai/__about__.py - git commit --amend + git commit --amend --no-edit - name: GitHub Push if: github.ref != 'refs/heads/master'