Skip to content

Generate a coverage report in CI#1736

Merged
Rangi42 merged 1 commit intogbdev:masterfrom
Rangi42:coverage-report
Jul 9, 2025
Merged

Generate a coverage report in CI#1736
Rangi42 merged 1 commit intogbdev:masterfrom
Rangi42:coverage-report

Conversation

@Rangi42
Copy link
Copy Markdown
Contributor

@Rangi42 Rangi42 commented Jul 9, 2025

No description provided.

@Rangi42 Rangi42 added this to the 0.9.4 milestone Jul 9, 2025
@Rangi42 Rangi42 added meta This isn't related to the tools directly: repo organization, maintainership... builds This affects the build process or release artifacts labels Jul 9, 2025
@Rangi42 Rangi42 force-pushed the coverage-report branch 5 times, most recently from 37e0a14 to 266d885 Compare July 9, 2025 01:11
@Rangi42 Rangi42 force-pushed the coverage-report branch from 266d885 to 9ee047d Compare July 9, 2025 01:22
@Rangi42 Rangi42 merged commit 9acba4b into gbdev:master Jul 9, 2025
24 checks passed
@Rangi42 Rangi42 deleted the coverage-report branch July 9, 2025 01:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

builds This affects the build process or release artifacts meta This isn't related to the tools directly: repo organization, maintainership...

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant