From 67dbcd499d66cb1e88fe5bc6967eb8ded145e074 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Thu, 2 Nov 2023 22:34:36 +0000 Subject: [PATCH] rev --- .github/workflows/test-pr.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml index 4cbf8276e17..0e235548089 100644 --- a/.github/workflows/test-pr.yml +++ b/.github/workflows/test-pr.yml @@ -40,7 +40,8 @@ jobs: echo ${VERSION} cd homebrew-k ../kframework/package/macos/brew-update-to-local ${PACKAGE} ${VERSION} - brew install --build-from-source --verbose --formula ./Formula/${PACKAGE}.rb + cat ./Formula/${PACKAGE}.rb + # brew install --build-from-source --verbose --formula ./Formula/${PACKAGE}.rb # ../kframework/package/macos/brew-build-and-update-to-local-bottle ${PACKAGE} ${VERSION} ${ROOT_URL} # git reset HEAD^ # LOCAL_BOTTLE_NAME=$(basename $(find . -name "kframework--${VERSION}.ventura.bottle*.tar.gz"))