change env var name

Certora · Dec 24, 2024 · bdbf40a · bdbf40a
1 parent 4b01db3
commit bdbf40a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -56,9 +56,9 @@ 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."
-          echo HEAD:$GITHUB_HEAD_REF
+          echo HEAD:$ENV_GITHUB_HEAD_REF
           # git push origin HEAD:$GITHUB_HEAD_REF -f