diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3f2774fbb..eaaaa110f 100644
--- 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/...