]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7731 from tjhei/jenkins_ci_mark_failed
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 18 Feb 2019 17:39:02 +0000 (18:39 +0100)
committerGitHub <noreply@github.com>
Mon, 18 Feb 2019 17:39:02 +0000 (18:39 +0100)
commit8eebc08ec664d11081dfffdcfde6dd75745d8616
tree2b6c50be82eae6c1a5e49c82e7419480aeaa6145
parent27c4071002fc3bea560b89694092ae2492255824
parent9296119dcb0888f4a9bed2f3e72b08a3fec3edca
Merge pull request #7731 from tjhei/jenkins_ci_mark_failed

[CI]: mark main status in github as failed

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.