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