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: |