Document compiletest directives `ignore-coverage-map` and `ignore-coverage-run`#2094

Merged

jieyouxu merged 1 commit intorust-lang:masterfrom Zalathar:ignore-coverage

Oct 9, 2024

Commits on Oct 9, 2024

Document directives ignore-coverage-map and ignore-coverage-run
Zalathar
committed