From a56e6ab81e15c2033d19364f3925f09cd5a5aeb3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 11 Mar 2016 10:15:01 +0100
Subject: [PATCH] benchmark extractor: deal with builds that are still running
---
benchmark/gitlab-extract.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/benchmark/gitlab-extract.py b/benchmark/gitlab-extract.py
index 93cb1c1c1..8be4a51da 100755
--- a/benchmark/gitlab-extract.py
+++ b/benchmark/gitlab-extract.py
@@ -65,6 +65,9 @@ for commit in parse_log.parse_git_commits(args.commits):
if build['status'] == 'failed':
# build failed
continue
+ if build['status'] == 'running':
+ # build still running, don't fetch this or any later commit
+ break
# now fetch the build times
build_times = requests.get("{}/builds/{}/artifacts/file/build-time.txt".format(project['web_url'], build['id']))
if build_times.status_code != 200:
--
GitLab