ci: don't run ignored doctests in coverage tests#447

seqre merged 4 commits intomastercot-rs/cot:masterfrom

fix-doctest-coveragecot-rs/cot:fix-doctest-coverageCopy head branch name to clipboard