From 0cde3dc09642f2a4b401867792444a3b787d2238 Mon Sep 17 00:00:00 2001
From: "Christopher J. Markiewicz" <markiewicz@stanford.edu>
Date: Tue, 29 Mar 2022 21:52:28 -0400
Subject: [PATCH] CI: Convert coverage reports to XML

---
 tools/ci/check.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/ci/check.sh b/tools/ci/check.sh
index 623c71cf..3a3d98c5 100755
--- a/tools/ci/check.sh
+++ b/tools/ci/check.sh
@@ -31,6 +31,8 @@ elif [ "$CHECK_TYPE" == "workflow" ]; then
     --test-name $TEST_NAME $@
 fi
 
+coverage xml
+
 set +eux
 
 echo Done running checks