Skip to content

ci(coverage): fix coverage source folder#82

Merged
jourdain merged 1 commit intoKitware:masterfrom
Thibault-Pelletier:ci-coverage
May 7, 2026
Merged

ci(coverage): fix coverage source folder#82
jourdain merged 1 commit intoKitware:masterfrom
Thibault-Pelletier:ci-coverage

Conversation

@Thibault-Pelletier
Copy link
Copy Markdown
Contributor

Fix coverage source folder (modified in e14b029).

Fix coverage source folder (modified in e14b029).
@jourdain jourdain merged commit 3302b21 into Kitware:master May 7, 2026
5 checks passed
@Thibault-Pelletier Thibault-Pelletier deleted the ci-coverage branch May 7, 2026 06:16
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