From 5321e4e24730487ce6a90bd27416f783b7c08691 Mon Sep 17 00:00:00 2001
From: Drew Crampsie <me@drewc.ca>
Date: Sat, 31 Aug 2024 14:08:13 -0700
Subject: [PATCH] Add --quiet to ci workflow

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

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/...