fix env var name

Certora · Dec 24, 2024 · f13156d · f13156d
1 parent 1fde596
commit f13156d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -56,8 +56,8 @@ jobs:
 
       - name: Commit and push version change
         env:
-            GITHUB_HEAD_REF: ${{ github.event.pull_request.head.ref }}
+            ENV_GITHUB_HEAD_REF: ${{ github.event.pull_request.head.ref }}
         run: |
           git add .
           git commit -m "Auto change version."
-          git push origin HEAD:$GITHUB_HEAD_REF -f
+          git push origin HEAD:$ENV_GITHUB_HEAD_REF -f