check version changed

Author: azhukov-gyg

.github/workflows/cvc5.yml

@@ -60,6 +60,7 @@ jobs:
           python -m cvc5-latest.main
 
       - name: Commit and push version changes
+        if: steps.check_version.outputs.version_changed == 'true'
         run: |
           git pull origin main --rebase || git pull origin main || echo "Pull failed, continuing with local changes"
           git add ./versions

.github/workflows/mathsat5.yml

@@ -60,6 +60,7 @@ jobs:
           python -m mathsat5-latest.main
 
       - name: Commit and push version changes
+        if: steps.check_version.outputs.version_changed == 'true'
         run: |
           git pull origin main --rebase || git pull origin main || echo "Pull failed, continuing with local changes"
           git add ./versions

.github/workflows/opensmt2.yml

@@ -60,6 +60,7 @@ jobs:
           python -m opensmt2-latest.main
 
       - name: Commit and push version changes
+        if: steps.check_version.outputs.version_changed == 'true'
         run: |
           git pull origin main --rebase || git pull origin main || echo "Pull failed, continuing with local changes"
           git add ./versions

.github/workflows/ostrich.yml

@@ -60,6 +60,7 @@ jobs:
           python -m ostrich-latest.main
 
       - name: Commit and push version changes
+        if: steps.check_version.outputs.version_changed == 'true'
         run: |
           git pull origin main --rebase || git pull origin main || echo "Pull failed, continuing with local changes"
           git add ./versions

.github/workflows/smtrat.yml

@@ -60,6 +60,7 @@ jobs:
           python -m smtrat-latest.main
 
       - name: Commit and push version changes
+        if: steps.check_version.outputs.version_changed == 'true'
         run: |
           git pull origin main --rebase || git pull origin main || echo "Pull failed, continuing with local changes"
           git add ./versions

.github/workflows/stp.yml

@@ -60,6 +60,7 @@ jobs:
           python -m stp-latest.main
 
       - name: Commit and push version changes
+        if: steps.check_version.outputs.version_changed == 'true'
         run: |
           git pull origin main --rebase || git pull origin main || echo "Pull failed, continuing with local changes"
           git add ./versions

.github/workflows/yices2.yml

@@ -60,6 +60,7 @@ jobs:
           python -m yices2-latest.main
 
       - name: Commit and push version changes
+        if: steps.check_version.outputs.version_changed == 'true'
         run: |
           git pull origin main --rebase || git pull origin main || echo "Pull failed, continuing with local changes"
           git add ./versions

.github/workflows/z3.yml

@@ -60,6 +60,7 @@ jobs:
           python -m z3-latest.main
 
       - name: Commit and push version changes
+        if: steps.check_version.outputs.version_changed == 'true'
         run: |
           git pull origin main --rebase || git pull origin main || echo "Pull failed, continuing with local changes"
           git add ./versions