Skip to content

Fix coverage to actually measure against source#96

Merged
doismellburning merged 2 commits into
mainfrom
feature/fix-coverage
May 9, 2025
Merged

Fix coverage to actually measure against source#96
doismellburning merged 2 commits into
mainfrom
feature/fix-coverage

Conversation

@doismellburning

Copy link
Copy Markdown
Owner
  • Ensure coverage is measuring against the source!
  • Improve directory definitions in Makefile

@doismellburning doismellburning enabled auto-merge May 9, 2025 12:27
@doismellburning doismellburning merged commit fc93ddd into main May 9, 2025
4 checks passed
@doismellburning doismellburning deleted the feature/fix-coverage branch May 9, 2025 12:28
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