Closed chkeita closed 11 months ago
Merging #3529 (f5b6f19) into main (552df45) will decrease coverage by
0.01%
. The diff coverage is86.79%
.
@@ Coverage Diff @@
## main #3529 +/- ##
==========================================
- Coverage 39.04% 39.04% -0.01%
==========================================
Files 301 301
Lines 36796 36822 +26
==========================================
+ Hits 14368 14378 +10
- Misses 22428 22444 +16
Files | Coverage Δ | |
---|---|---|
src/agent/coverage/src/timer.rs | 84.00% <ø> (ø) |
|
src/agent/debugger/src/debugger.rs | 69.35% <100.00%> (+0.33%) |
:arrow_up: |
src/agent/coverage/src/record.rs | 73.28% <82.50%> (-9.29%) |
:arrow_down: |
Summary of the Pull Request
use process_control to automatically terminate the process when it is timed out
closes #3513