From 319613e2bb654a8c94956fc2ab1d5a3351233164 Mon Sep 17 00:00:00 2001
From: David Van Horn <dvanhorn@cs.umd.edu>
Date: Wed, 13 Nov 2024 23:36:10 -0500
Subject: [PATCH] Fix flags to raco test.

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 9b1ff4f..f50ce81 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -33,7 +33,7 @@ jobs:
         raco pkg install --auto ../assignments/
     - name: Run tests
       run: |
-        raco test --pkgs assignments
+        raco test -p assignments
         raco test knock-plus/test/compile.rkt 2>&1 | grep 'failures' # should not pass
     - name: Create zips
       run: |