Run tests

runtimeverification · Nov 3, 2023 · a053ec6 · a053ec6
1 parent 2b94700
commit a053ec6
Showing 1 changed file with 6 additions and 9 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -40,15 +40,12 @@ jobs:
           echo ${VERSION}
           cd homebrew-k
           ../kframework/package/macos/brew-update-to-local ${PACKAGE} ${VERSION}
-          brew install --HEAD --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"))
-      #     BOTTLE_NAME=$(echo ${LOCAL_BOTTLE_NAME#./} | sed 's!kframework--!kframework-!')
-      #     ../kframework/package/macos/brew-update-to-final ${PACKAGE} ${VERSION} ${ROOT_URL}
-      #     echo "path=${LOCAL_BOTTLE_NAME}" >> ${GITHUB_OUTPUT}
-      #     echo "path_remote=${BOTTLE_NAME}" >> ${GITHUB_OUTPUT}
-      #     echo "version=${VERSION}" >> ${GITHUB_OUTPUT}
+          brew install \
+            --HEAD \
+            --build-from-source \
+            --with-test \
+            --verbose \
+            --formula ./Formula/${PACKAGE}.rb
 
       - name: Cleanup
         if: always()