about summary refs log tree commit diff
diff options
context:
space:
mode:
authorTrevor Gross <tmgross@umich.edu>2025-04-18 06:43:19 +0000
committerTrevor Gross <t.gross35@gmail.com>2025-04-18 03:26:38 -0400
commit2db05de8fdf0d8b92df083a088ebde412bf6d75c (patch)
tree4412ac966e156dfafcd9ea46dbb4fc2bdbaf3818
parent2585a57dc742265f8400eaafb91a6990b6c7dc07 (diff)
downloadrust-2db05de8fdf0d8b92df083a088ebde412bf6d75c.tar.gz
rust-2db05de8fdf0d8b92df083a088ebde412bf6d75c.zip
ci: Account for `PR_NUMBER` being set to an empty string
This is the case for CI after merge that is no longer associated with a
pull request.
-rwxr-xr-xlibrary/compiler-builtins/libm/ci/ci-util.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/library/compiler-builtins/libm/ci/ci-util.py b/library/compiler-builtins/libm/ci/ci-util.py
index aae791d0f16..7468fd690cb 100755
--- a/library/compiler-builtins/libm/ci/ci-util.py
+++ b/library/compiler-builtins/libm/ci/ci-util.py
@@ -205,7 +205,7 @@ class Context:
         skip_tests = False
         error_on_many_tests = False
 
-        if pr_number is not None:
+        if pr_number is not None and len(pr_number) > 0:
             pr = PrInfo.load(pr_number)
             skip_tests = pr.contains_directive(SKIP_EXTENSIVE_DIRECTIVE)
             error_on_many_tests = not pr.contains_directive(