Document compiletest directives ignore-coverage-map and `ignore-cov…
#3682
| Job | Run time |
|---|---|
| 9s | |
| 9s |
ignore-coverage-map and `ignore-cov…
#3682
| Job | Run time |
|---|---|
| 9s | |
| 9s |