Skip to content

Conversation

Zentrik
Copy link
Collaborator

@Zentrik Zentrik commented Aug 22, 2023

Simpler version of other pr.

@codecov
Copy link

codecov bot commented Aug 22, 2023

Codecov Report

Patch coverage: 100.00% and project coverage change: +0.58% 🎉

Comparison is base (bcbd8ed) 88.33% compared to head (5ec7462) 88.91%.
Report is 6 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #122      +/-   ##
==========================================
+ Coverage   88.33%   88.91%   +0.58%     
==========================================
  Files           3        3              
  Lines         360      370      +10     
==========================================
+ Hits          318      329      +11     
+ Misses         42       41       -1     
Files Changed Coverage Δ
src/CodeTracking.jl 87.83% <100.00%> (+1.03%) ⬆️

... and 1 file with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@timholy
Copy link
Member

timholy commented Aug 22, 2023

I'm actually OK with either, but prefer (unless there's a substantial difference) the less intrusive change because it keeps the code a tiny bit simpler. But you can pick which to merge.

@Zentrik Zentrik merged commit 7bf9a4f into JuliaDebug:master Aug 22, 2023
@Zentrik
Copy link
Collaborator Author

Zentrik commented Aug 22, 2023

There only seems to be a 1% difference between the prs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants