From 0f33427ac24f56a1b3de049afda56b88c2787474 Mon Sep 17 00:00:00 2001 From: Zalathar Date: Tue, 12 Sep 2023 11:23:52 +1000 Subject: [PATCH] Clarify that `run-coverage` only runs in some of the CI jobs --- src/tests/compiletest.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tests/compiletest.md b/src/tests/compiletest.md index 2b02cae69..5cacb3013 100644 --- a/src/tests/compiletest.md +++ b/src/tests/compiletest.md @@ -437,7 +437,7 @@ profiler = true ``` This also means that they typically don't run in PR CI jobs, -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. The tests in [`tests/run-coverage-rustdoc`] also run instrumented doctests and include them in the coverage report. This avoids having to build rustdoc when