Closed jeferal closed 1 year ago
Would applying type hint out of scope/ too much work here?
Merging #825 (13cce3a) into noetic-devel (3765d95) will not change coverage. The diff coverage is
n/a
.:exclamation: Current head 13cce3a differs from pull request most recent head 212cede. Consider uploading reports for the commit 212cede to get more accurate results
@@ Coverage Diff @@
## noetic-devel #825 +/- ##
=============================================
Coverage 17.31% 17.31%
=============================================
Files 12 12
Lines 999 999
Branches 637 637
=============================================
Hits 173 173
Misses 543 543
Partials 283 283
Proposed changes
Please explain the changes you made. Add pictures or videos to explain them better if appropriate.
Checklist
Before posting a PR ensure that from each of the below categories AT LEAST ONE BOX HAS BEEN CHECKED. If more than one category is applicable then more can be checked. Also ensure that the proposed changes have been filled out with relevant information for reviewers.
Tests
Documentation