diff options
| -rwxr-xr-x | scripts/jenkins-gerrit/pipeline_summary.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/jenkins-gerrit/pipeline_summary.py b/scripts/jenkins-gerrit/pipeline_summary.py index 85b2393..37d4028 100755 --- a/scripts/jenkins-gerrit/pipeline_summary.py +++ b/scripts/jenkins-gerrit/pipeline_summary.py @@ -8,7 +8,7 @@ import re import urllib.request jenkins_url = "https://jenkins.osmocom.org" -re_start_build = re.compile("Starting building: gerrit-[a-zA-Z-_]* #[0-9]*") +re_start_build = re.compile("Starting building: gerrit-[a-zA-Z-_0-9]* #[0-9]*") re_result = re.compile("^PIPELINE_[A-Z]*_PASSED=[01]$") def parse_args(): |