fix head ref (#37)

Certora · Dec 24, 2024 · 1fde596 · 1fde596
1 parent 082cc5d
commit 1fde596
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -55,6 +55,8 @@ jobs:
           git config --global user.name "$GITHUB_ACTOR"
 
       - name: Commit and push version change
+        env:
+            GITHUB_HEAD_REF: ${{ github.event.pull_request.head.ref }}
         run: |
           git add .
           git commit -m "Auto change version."