fix brew package url
@@ -77,6 +77,7 @@ jobs:
git reset HEAD^
LOCAL_BOTTLE_NAME=$(basename $(find . -name "kframework--${VERSION}.big_sur.bottle*.tar.gz"))
BOTTLE_NAME=$(echo ${LOCAL_BOTTLE_NAME#./} | sed 's!kframework--!kframework-!')
+ ../kframework/package/macos/brew-update-to-final ${PACKAGE} ${VERSION} ${ROOT_URL}
echo "::set-output name=path::$LOCAL_BOTTLE_NAME"
echo "::set-output name=path_remote::$BOTTLE_NAME"
