Repository navigation
ci(coverage): run the coverage job weekly and on request, not on every push - #217
Closed
MaartenMarsman wants to merge 1 commit into
Closed
MaartenMarsman wants to merge 1 commit into
MaartenMarsman wants to merge 1 commit into
Commits
Commits on Oct 21, 2026