From e50d482f64532245714691e19db3bf0f6d1d246c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 6 Jun 2021 13:54:59 +0200
Subject: [PATCH] fix timing comparison link
---
iris-bot | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/iris-bot b/iris-bot
index 8d39d851f..236466174 100755
--- a/iris-bot
+++ b/iris-bot
@@ -72,7 +72,7 @@ def trigger_build(project, branch, vars):
}
r = requests.post(url, headers={'PRIVATE-TOKEN': GITLAB_TOKEN}, json=json)
r.raise_for_status()
- return r.json()['web_url']
+ return r.json()
# The commands
def build(args):
@@ -87,7 +87,7 @@ def build(args):
for (name, project) in PROJECTS.items():
if args.filter in name:
print("Triggering build for {}...".format(name))
- pipeline_url = trigger_build(project['name'], project['branch'], vars)
+ pipeline_url = trigger_build(project['name'], project['branch'], vars)['web_url']
print(" Pipeline running at {}".format(pipeline_url))
def time(args):
@@ -121,20 +121,20 @@ def time(args):
'IRIS_REV': base_commit,
'TIMING_AD_HOC_ID': id+"-base",
}
- base_pipeline_url = trigger_build(project['name'], project['branch'], vars)
- print(" Base pipeline running at {}".format(base_pipeline_url))
+ base_pipeline = trigger_build(project['name'], project['branch'], vars)
+ print(" Base pipeline running at {}".format(base_pipeline['web_url']))
vars = {
'IRIS_REPO': iris_repo,
'IRIS_REV': test_commit,
'TIMING_AD_HOC_ID': id+"-test",
}
if args.test_branch is None:
- test_pipeline_url = trigger_build(project['name'], project['branch'], vars)
- print(" Test pipeline running at {}".format(test_pipeline_url))
+ test_pipeline = trigger_build(project['name'], project['branch'], vars)
+ print(" Test pipeline running at {}".format(test_pipeline['web_url']))
else:
- test_pipeline_url = trigger_build(project['name'], args.test_branch, vars)
- print(" Test pipeline (on non-standard branch {}) running at {}".format(args.test_branch, test_pipeline_url))
- print(" Once done, timing comparison will be available at https://coq-speed.mpi-sws.org/d/1QE_dqjiz/coq-compare?orgId=1&var-project={}&var-branch1=@hoc&var-config1={}&var-branch2=@hoc&var-config2={}".format(project['name'], id+"-base", id+"-test"))
+ test_pipeline = trigger_build(project['name'], args.test_branch, vars)
+ print(" Test pipeline (on non-standard branch {}) running at {}".format(args.test_branch, test_pipeline['web_url']))
+ print(" Once done, timing comparison will be available at https://coq-speed.mpi-sws.org/d/1QE_dqjiz/coq-compare?orgId=1&var-project={}&var-branch1=@hoc&var-commit1={}&var-config1={}&var-branch2=@hoc&var-commit2={}&var-config2={}".format(project['name'], base_pipeline['sha'], id+"-base", test_pipeline['sha'], id+"-test"))
# Dispatch
if __name__ == "__main__":
--
GitLab