Skip to content

Update collect coverage workflow to use proper filters#27

Merged
notaphplover merged 1 commit intomainfrom fix/collect-coverage-workflow-2Oct 17, 2024

Commits

Commits on Oct 17, 2024