plural

runtimeverification · Nov 3, 2023 · e5c9c7a · e5c9c7a
1 parent a053ec6
commit e5c9c7a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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