Skip to content

Add more codecov ignores#3032

Merged
romtsn merged 1 commit intomainfrom
rz/chore/more-codecov
Nov 7, 2023
Merged

Add more codecov ignores#3032
romtsn merged 1 commit intomainfrom
rz/chore/more-codecov

Conversation

@romtsn
Copy link
Member

@romtsn romtsn commented Nov 7, 2023

#skip-changelog

@romtsn romtsn merged commit 6068b45 into main Nov 7, 2023
@romtsn romtsn deleted the rz/chore/more-codecov branch November 7, 2023 11:11
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