]> https://gitweb.dealii.org/ - dealii.git/commit
CI: fix left-over "pending" 7868/head
authorTimo Heister <timo.heister@gmail.com>
Wed, 27 Mar 2019 15:31:23 +0000 (09:31 -0600)
committerTimo Heister <timo.heister@gmail.com>
Wed, 27 Mar 2019 15:31:23 +0000 (09:31 -0600)
commit303ac9774a4280382ef6ba289af98f67617efdd8
treed01d44b7c822b61dda1814f9021f39bd8a026a97
parentba058b64d75744db3cf490b4dc965ac960990865
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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.