diff options
author | Oliver Smith <osmith@sysmocom.de> | 2022-10-12 11:07:42 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2022-10-12 11:07:42 +0200 |
commit | 348751bc05d85239dd4fdff7fb03e202968e8168 (patch) | |
tree | f2289684f94d968158414f350c334df23ad448b7 | |
parent | a02b53fe4f7ced8fa08dc26886a78b3cb233aead (diff) |
jenkins-gerrit: add 0-9 to re_start_build
Let it match "Starting building: gerrit-osmo-ttcn3-hacks-build #5". It
failed on the 3 in ttcn3 before.
Related: OS#2385
Change-Id: I247af55e2c0e3a2dd088ab1c951d8535cfc93229
-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(): |