Coverage options#52

Merged

g105b merged 5 commits intomasterfrom

Feb 15, 2023

Commits on Feb 14, 2023

docs: add missing config options
Greg Bowler
committed
feature: implement coverage options
Greg Bowler
committed

Commits on Feb 15, 2023

wip: equals required for optional arg
Greg Bowler
committed
wip: bump hash
Greg Bowler
committed
wip: typo
Greg Bowler
committed