From 11e8101a9a3ac952731e044740833721e37b51fe Mon Sep 17 00:00:00 2001
From: Sam Gammon <sam@elide.ventures>
Date: Tue, 22 Aug 2023 19:09:50 -0700
Subject: [PATCH] fix: coverage reporting

Signed-off-by: Sam Gammon <sam@elide.ventures>
---
 .github/workflows/on.push.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/on.push.yml b/.github/workflows/on.push.yml
index 778e39fa..d3f11530 100644
--- a/.github/workflows/on.push.yml
+++ b/.github/workflows/on.push.yml
@@ -41,21 +41,21 @@ jobs:
         labs: [false]
         flags: ["--config=linux"]
         testlabel: ["Ubuntu"]
-        coverage: [true]
+        coverage: [false]
         include:
           # Bazel 7
           - runner: ubuntu-latest
             label: Ubuntu
             labs: false
             main: true
-            coverage: true
+            coverage: false
             flags: --config=linux
             testlabel: Ubuntu
           - runner: macos-latest
             label: macOS
             labs: false
             main: true
-            coverage: false
+            coverage: true
             flags: --config=mac
             testlabel: macOS
           - runner: windows-2022