Try branch name

runtimeverification · Nov 3, 2023 · 2b94700 · 2b94700
1 parent efbd3fa
commit 2b94700
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -36,7 +36,7 @@ jobs:
               -Dmaven.wagon.httpconnectionManager.ttlSeconds=30
         run: |
           PACKAGE=kframework
-          VERSION=${{ github.event.pull_request.head.sha }}
+          VERSION="$GITHUB_HEAD_REF"
           echo ${VERSION}
           cd homebrew-k
           ../kframework/package/macos/brew-update-to-local ${PACKAGE} ${VERSION}

diff --git a/package/macos/brew-update-to-local b/package/macos/brew-update-to-local
@@ -1,6 +1,6 @@
 #!/bin/sh -exu
 package="$1" ; shift
 version="$1" ; shift
-sed -i "" -e 's!^    tag: ".*"$!    revision: "'${version}'"!' \
+sed -i "" -e 's!^    tag: ".*"$!    branch: "'${version}'"!' \
           -e 's!^  url!  head!' \
     Formula/$package.rb