Closed azeey closed 8 months ago
I think ubuntu CI depends on https://github.com/gazebo-tooling/gzdev/pull/72
update: ah ok already mentioned in previous comment
Merging #401 (90e293a) into main (ba82a93) will not change coverage. The diff coverage is
100.00%
.:exclamation: Current head 90e293a differs from pull request most recent head 4a3412d. Consider uploading reports for the commit 4a3412d to get more accurate results
@@ Coverage Diff @@
## main #401 +/- ##
=======================================
Coverage 97.26% 97.26%
=======================================
Files 27 27
Lines 1170 1170
=======================================
Hits 1138 1138
Misses 32 32
Files | Coverage Δ | |
---|---|---|
core/src/MessageFactory.cc | 97.91% <100.00%> (ø) |
See https://github.com/gazebo-tooling/release-tools/issues/1027