Skip to content

Conversation

@brownbaerchen
Copy link
Contributor

I do miss the Codecov bot posting about coverage in our PRs. I want to bring it back, but I don't know a lot about it, so maybe this will not actually do the trick.. I cannot test it before since this workflow will only be triggered once it is in the master branch.

What I added here is a separate workflow that runs when the GitHub CI is done and during PRs. All it does in that case is upload the coverage report to Codecov, which I assume will then trigger the bot.

Problem: Coverage will almost certainly be lower than in the master branch because the GPU tests are not included in this report. This should not lead to fluctuations in the coverage report, though, because the report is generated for a non-master branch and therefore does not show up in the tracking.

I suggest we bring back the bot first and when we managed to do that, we configure it to not fail when coverage has decreased. It will still show which parts of the PR are tested and which aren't, which is very useful information.

@pancetta
Copy link
Member

@jakob-fritz thoughts?

@jakob-fritz
Copy link
Collaborator

@jakob-fritz thoughts?

Your CI-File looks good to me at first glance.
I am surprised, why there is no comment, as the last known commit to Codecov is from last week (I don't know, why today's commit from master is not known to Codecov).
But I think we can give it a try!

@brownbaerchen
Copy link
Contributor Author

What do you mean? Clicking on the codecov badge in the main README will lead you to the report for the commit from 34 minutes ago

@jakob-fritz
Copy link
Collaborator

Ah ok. It lead me to the report from a week ago, when I tried it just before I wrote my comment. But maybe it was just an issue I had.

@pancetta pancetta merged commit 6cd748b into Parallel-in-Time:master Jun 26, 2025
47 checks passed
@brownbaerchen brownbaerchen deleted the bot branch June 26, 2025 06:50
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.

3 participants