Skip to content

Comments

Add coverage report#7

Merged
hkrutzer merged 2 commits intomasterfrom
coverage
Jul 7, 2025
Merged

Add coverage report#7
hkrutzer merged 2 commits intomasterfrom
coverage

Conversation

@hkrutzer
Copy link
Owner

@hkrutzer hkrutzer commented Jul 7, 2025

  • Remove Jason dev dependency
  • Add Github coverage report

@hkrutzer hkrutzer force-pushed the coverage branch 2 times, most recently from 5bd9475 to a278c7c Compare July 7, 2025 19:22
@hkrutzer hkrutzer changed the title Add Github coverage report Add coverage report Jul 7, 2025
@hkrutzer hkrutzer merged commit 10856e4 into master Jul 7, 2025
3 checks passed
@hkrutzer hkrutzer deleted the coverage branch July 7, 2025 19:26
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