Skip to content

ci: move the XML coverage report to .report#1465

Merged
tonyandrewmeyer merged 1 commit intomainfrom
move-coverage-report
Nov 27, 2024
Merged

ci: move the XML coverage report to .report#1465
tonyandrewmeyer merged 1 commit intomainfrom
move-coverage-report

Conversation

@tonyandrewmeyer
Copy link
Collaborator

Miguel, our TIOBE contact, has asked that we move the XML coverage file that gets loaded, to .report/coverage.xml. This also means we can avoid using a custom data file name, which is nice.

@tonyandrewmeyer tonyandrewmeyer merged commit 7cc5ec9 into main Nov 27, 2024
@tonyandrewmeyer tonyandrewmeyer deleted the move-coverage-report branch November 27, 2024 21:09
tonyandrewmeyer added a commit to tonyandrewmeyer/operator that referenced this pull request Nov 27, 2024
Miguel, our TIOBE contact, has asked that we move the XML coverage file
that gets loaded, to `.report/coverage.xml`. This also means we can
avoid using a custom data file name, which is nice.
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.

3 participants