about summary refs log tree commit diff
diff options
context:
space:
mode:
authorTrevor Gross <tmgross@umich.edu>2025-05-05 05:43:58 +0000
committerTrevor Gross <t.gross35@gmail.com>2025-05-05 02:31:52 -0400
commit339793d62b4c455f2a8268e09f85ee471cd4847c (patch)
treee6341db0ce6c034b1b2c70a51d34f3cc4f341156
parent687902c1af4651ca0db9614c0a1ba6431cff266a (diff)
downloadrust-339793d62b4c455f2a8268e09f85ee471cd4847c.tar.gz
rust-339793d62b4c455f2a8268e09f85ee471cd4847c.zip
ci: Mention `ci: skip-extensive` in the error message
-rwxr-xr-xlibrary/compiler-builtins/ci/ci-util.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/library/compiler-builtins/ci/ci-util.py b/library/compiler-builtins/ci/ci-util.py
index 7486d6b4186..d785b2e9e1d 100755
--- a/library/compiler-builtins/ci/ci-util.py
+++ b/library/compiler-builtins/ci/ci-util.py
@@ -261,7 +261,9 @@ class Context:
         if error_on_many_tests and total_to_test > MANY_EXTENSIVE_THRESHOLD:
             eprint(
                 f"More than {MANY_EXTENSIVE_THRESHOLD} tests would be run; add"
-                f" `{ALLOW_MANY_EXTENSIVE_DIRECTIVE}` to the PR body if this is intentional"
+                f" `{ALLOW_MANY_EXTENSIVE_DIRECTIVE}` to the PR body if this is"
+                " intentional. If this is refactoring that happens to touch a lot of"
+                f" files, `{SKIP_EXTENSIVE_DIRECTIVE}` can be used instead."
             )
             exit(1)