From 88e2eea0041f56736c06bba28409576f0c944a90 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 23 Jul 2021 13:12:01 +0200
Subject: [PATCH] fix iris-bot script
---
iris-bot | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/iris-bot b/iris-bot
index 8b8844f3c..ab778e324 100755
--- a/iris-bot
+++ b/iris-bot
@@ -128,7 +128,7 @@ def time(args):
'IRIS_REV': test_commit,
'TIMING_AD_HOC_ID': id+"-test",
}
- if args.test_branch is None:
+ if args.test_rev is None:
test_pipeline = trigger_build(project['name'], project['branch'], vars)
print(" Test pipeline running at {}".format(test_pipeline['web_url']))
else:
--
GitLab