Skip to content

run coverage on push to develop#178

Merged
slabasan merged 1 commit intodevelopfrom
coverage-update-run-conditions
Mar 3, 2026
Merged

run coverage on push to develop#178
slabasan merged 1 commit intodevelopfrom
coverage-update-run-conditions

Conversation

@slabasan
Copy link
Collaborator

@slabasan slabasan commented Mar 3, 2026

No description provided.

@slabasan slabasan merged commit 7160e90 into develop Mar 3, 2026
7 checks passed
@slabasan slabasan deleted the coverage-update-run-conditions branch March 3, 2026 22:22
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.

1 participant