Add --quiet to ci workflow

mighty-gerbils · Aug 31, 2024 · fd188f1 · fd188f1
1 parent ba40c39
commit fd188f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -66,4 +66,4 @@ jobs:
       - name: Run Gerbil tests
         run: |
           export PATH=/opt/gerbil/bin:$PATH
-          gxtest src/gerbil/test/... src/std/... src/lang/...
+          gxtest --quiet src/gerbil/test/... src/std/... src/lang/...