From 91d70f949b55696cf4985060ea34b6a22d562ae1 Mon Sep 17 00:00:00 2001 From: Yiannis Charalambous Date: Fri, 8 Nov 2024 00:14:20 +0000 Subject: [PATCH] Update --- .github/workflows/workflow.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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'