Skip to content

chore: Update coverage report#2441

Merged
erezrokah merged 1 commit intomainfrom
chore/update_coverage_report
Mar 16, 2026
Merged

chore: Update coverage report#2441
erezrokah merged 1 commit intomainfrom
chore/update_coverage_report

Conversation

@cq-bot
Copy link
Contributor

@cq-bot cq-bot commented Mar 16, 2026

This PR was created by a scheduled workflow to update the coverage report

@erezrokah erezrokah merged commit 56b42fd into main Mar 16, 2026
11 checks passed
@erezrokah erezrokah deleted the chore/update_coverage_report branch March 16, 2026 09:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants