We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
run-coverage
1 parent f03b8b1 commit 195bae5Copy full SHA for 195bae5
src/doc/rustc-dev-guide/src/tests/compiletest.md
@@ -437,7 +437,7 @@ profiler = true
437
```
438
439
This also means that they typically don't run in PR CI jobs,
440
-though they do run in the full set of CI jobs used for merging.
+though they do run as part of the full set of CI jobs used for merging.
441
442
The tests in [`tests/run-coverage-rustdoc`] also run instrumented doctests and
443
include them in the coverage report. This avoids having to build rustdoc when
0 commit comments