[do not merge] Debug SV scheme B#29
Conversation
|
@alecandido stupid question: how can I force github to update "Files changes"? because |
|
Your commit appears to have a single file changed: even locally: |
|
that's correct - I needed a new commit to branch again; the thing is that the reference branch ( |
|
Rebase the branch. I believe "File Changed" are only showing the changes made in this PR (i.e. in this branch), so wrt the commit you branched off. Otherwise if you to keep going with the outdated branch, just keep doing Simply |
Codecov Report
@@ Coverage Diff @@
## main #29 +/- ##
=======================================
Coverage 44.03% 44.03%
=======================================
Files 16 16
Lines 604 604
=======================================
Hits 266 266
Misses 338 338
Flags with carried forward coverage won't be shown. Click here to find out more. |
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## main #29 +/- ##
=======================================
Coverage 88.30% 88.30%
=======================================
Files 17 17
Lines 633 633
=======================================
Hits 559 559
Misses 74 74
Flags with carried forward coverage won't be shown. Click here to find out more.
|
|
Do we want to close this? @felixhekhorn |
|
Agreed |
I will keep investigating here - if ever I find something, I'll either create a new PR or convert this one ...