Update

esbmc · Nov 8, 2024 · 140506e · 140506e
1 parent 9a51767
commit 140506e
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -1,4 +1,4 @@
-name: Checking
+name: Development
 on: push
 
 jobs:
@@ -144,14 +144,12 @@ jobs:
         run: |
           git config --global user.email "github-actions[bot]@users.noreply.github.com"
           git config --global user.name "github-actions[bot]"
-          git config pull.ff only
 
       # Add and commit without changing message
       - name: Git Add
         run: |
           git add esbmc_ai/__about__.py
-          git commit --amend --no-edit
-          git pull
+          git commit -m "Increment version"
 
       - name: GitHub Push
         if: github.ref != 'refs/heads/master'