Skip to content

Conversation

mafredri
Copy link
Member

This PR fixes the coverage badge in the README by hosting the badge and static HTML on GitHub Pages.

We end up running an extra ./ci/test.sh but I wanted to keep this simple for now.

@mafredri mafredri merged commit ebe1f7a into master Aug 15, 2024
16 checks passed
@mafredri mafredri deleted the mafredri/fix-coverage branch August 15, 2024 18:51
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