about summary refs log tree commit diff
diff options
context:
space:
mode:
-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(