Skip to content

Commit

Permalink
CI: Convert coverage reports to XML
Browse files Browse the repository at this point in the history
  • Loading branch information
effigies committed Mar 30, 2022
1 parent b32137f commit 0cde3dc
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions tools/ci/check.sh
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,8 @@ elif [ "$CHECK_TYPE" == "workflow" ]; then
--test-name $TEST_NAME $@
fi

coverage xml

set +eux

echo Done running checks

0 comments on commit 0cde3dc

Please sign in to comment.