From e5c9c7ad1e7b429e842b39d8757fa24fca14da44 Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Fri, 3 Nov 2023 11:44:08 +0000
Subject: [PATCH] plural

---
 .github/workflows/test-pr.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index a1b0f082b62..2d598535346 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -40,11 +40,11 @@ jobs:
           echo ${VERSION}
           cd homebrew-k
           ../kframework/package/macos/brew-update-to-local ${PACKAGE} ${VERSION}
-          brew install \
-            --HEAD \
+          brew install          \
+            --HEAD              \
             --build-from-source \
-            --with-test \
-            --verbose \
+            --with-tests        \
+            --verbose           \
             --formula ./Formula/${PACKAGE}.rb
 
       - name: Cleanup