Skip to content

Fix/232/codecov refresh - #233

Merged
rultor merged 2 commits into
mainfrom
fix/232/codecov-refresh
Jul 28, 2026
Merged

Fix/232/codecov refresh#233
rultor merged 2 commits into
mainfrom
fix/232/codecov-refresh

Conversation

@RoRoche

@RoRoche RoRoche commented Jul 28, 2026

Copy link
Copy Markdown
Owner

Fixes #232

@sonarqubecloud

Copy link
Copy Markdown

@RoRoche

RoRoche commented Jul 28, 2026

Copy link
Copy Markdown
Owner Author

@rultor merge

@rultor

rultor commented Jul 28, 2026

Copy link
Copy Markdown
Collaborator

@rultor merge

@RoRoche OK, I'll try to merge now. You can check the progress of the merge here.

@rultor
rultor merged commit 7c7a2b7 into main Jul 28, 2026
5 checks passed
@rultor
rultor deleted the fix/232/codecov-refresh branch July 28, 2026 17:29
@rultor

rultor commented Jul 28, 2026

Copy link
Copy Markdown
Collaborator

@rultor merge

@RoRoche Done! FYI, the full log is here (took me 4min).

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.

Fix refresh of Codecov

2 participants