Skip to content

chore: refactor how coverage data is created.#49

Merged
jimlambrt merged 1 commit intomainfrom
jimlambrt-coverage
Sep 29, 2023
Merged

chore: refactor how coverage data is created.#49
jimlambrt merged 1 commit intomainfrom
jimlambrt-coverage

Conversation

@jimlambrt
Copy link
Owner

Remove github actions which commit a badge to the repo and move all coverage bits internal to the repo

@jimlambrt jimlambrt force-pushed the jimlambrt-coverage branch 7 times, most recently from a912d33 to a6d7991 Compare September 29, 2023 19:39
Remove github actions which commit a badge to the repo and
move all coverage bits internal to the repo
@jimlambrt jimlambrt merged commit d1c98fd into main Sep 29, 2023
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