]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7898 from tjhei/ci_quicktests
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Tue, 9 Apr 2019 21:05:41 +0000 (17:05 -0400)
committerGitHub <noreply@github.com>
Tue, 9 Apr 2019 21:05:41 +0000 (17:05 -0400)
commitfe18cbb26b19d66c67268b82a76be0737101ced8
tree2f1dbf4077fad784d4324543ff371eae412f7e04
parentba5df6303ed73df8d5675c08ab221e26ae62c644
parent5ac43cff8e80725a5895ba5ec914c1bd4611b2f7
Merge pull request #7898 from tjhei/ci_quicktests

[CI]: catch failures and run quicktests

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.