Skip to content

Setup code coverage for unit tests#3

Merged
damaki merged 1 commit into
mainfrom
topic/setup-code-coverage
Jun 22, 2025
Merged

Setup code coverage for unit tests#3
damaki merged 1 commit into
mainfrom
topic/setup-code-coverage

Conversation

@damaki
Copy link
Copy Markdown
Owner

@damaki damaki commented Jun 22, 2025

No description provided.

@damaki damaki self-assigned this Jun 22, 2025
@damaki damaki added the verification Improvements or additions to the verification suite label Jun 22, 2025
@damaki damaki merged commit b354514 into main Jun 22, 2025
5 checks passed
@damaki damaki deleted the topic/setup-code-coverage branch June 22, 2025 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

verification Improvements or additions to the verification suite

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant