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