]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7868 from tjhei/jenkins_status_end
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 28 Mar 2019 00:28:19 +0000 (20:28 -0400)
committerGitHub <noreply@github.com>
Thu, 28 Mar 2019 00:28:19 +0000 (20:28 -0400)
commit9344ce220a1497b7bc40f1787098d80edfc1cc3f
treeaa29484cd927ab58fc7ae93664c6e3042e7339ec
parent23082f0c3714a5813b9e8c26bfa5ddf9774864ba
parent303ac9774a4280382ef6ba289af98f67617efdd8
Merge pull request #7868 from tjhei/jenkins_status_end

CI: fix left-over "pending"

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.