]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10159 from tjhei/jenkins_ci_branches
authorMatthias Maier <tamiko@43-1.org>
Wed, 13 May 2020 03:17:30 +0000 (22:17 -0500)
committerGitHub <noreply@github.com>
Wed, 13 May 2020 03:17:30 +0000 (22:17 -0500)
commit41cdf4f6ba2f86ba10b3affb473942c79fb4de8f
treea7c8e8c3769fddc6a01719e8078705dcfe70590d
parentb9fc632b66aa724a54ea050057a1a262b0fb912c
parente146560b87c71ed3e18c22e708fa943d064c5f8e
Merge pull request #10159 from tjhei/jenkins_ci_branches

[9.2] Take over #10173: Jenkins: also test release branches

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.