Skip to content

Commit ed55e7d

Browse files
Zalathartshepang
authored andcommitted
Clarify that run-coverage only runs in some of the CI jobs
1 parent aafa886 commit ed55e7d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: src/tests/compiletest.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -437,7 +437,7 @@ profiler = true
437437
```
438438

439439
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.
440+
though they do run as part of the full set of CI jobs used for merging.
441441

442442
The tests in [`tests/run-coverage-rustdoc`] also run instrumented doctests and
443443
include them in the coverage report. This avoids having to build rustdoc when

0 commit comments

Comments
 (0)