]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7859 from tjhei/ci_abort_old
authorLuca Heltai <luca.heltai@sissa.it>
Thu, 28 Mar 2019 07:52:29 +0000 (08:52 +0100)
committerGitHub <noreply@github.com>
Thu, 28 Mar 2019 07:52:29 +0000 (08:52 +0100)
commitef114aeff2d9205c151fb70d5769adf41d1110b1
treefbdd24cae79f447910391b9c8c0ec4617146c067
parent9a6050f83a013208f0edda9f5e7366c140a54057
parent88362a235229fb83b00d554766f3f6a98978d640
Merge pull request #7859 from tjhei/ci_abort_old

CI: kill older running builds
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.