rev

runtimeverification · Nov 2, 2023 · 67dbcd4 · 67dbcd4
1 parent 1bf641a
commit 67dbcd4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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"))