Skip to content

more efficient CI#94

Draft
cpelley wants to merge 1 commit intomainfrom
efficient_ci
Draft

more efficient CI#94
cpelley wants to merge 1 commit intomainfrom
efficient_ci

Conversation

@cpelley
Copy link
Collaborator

@cpelley cpelley commented Jun 17, 2025

Updating the docs on change to main.
Generating a test coverage report on update to main and uploading this.
Downloading the main test coverage report for comparison with that generated by the PR.

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