From 303ac9774a4280382ef6ba289af98f67617efdd8 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Wed, 27 Mar 2019 09:31:23 -0600 Subject: [PATCH] CI: fix left-over "pending" If the CI jenkins job ends up starting quicker than the .mark step, we are left with a "pending" github status. Fix this by setting it to green a second time. It is unlikely that the mark step is slower than the whole CI run... --- Jenkinsfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index c2b78f390a..e3068a5a11 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -183,6 +183,8 @@ pipeline steps { githubNotify context: 'CI', description: 'OK', status: 'SUCCESS' + // In case the Jenkinsfile.mark job started after we did, make sure we don't leave a pending status around: + githubNotify context: 'ready', description: ':-)', status: 'SUCCESS' } } } -- 2.39.5