]> https://gitweb.dealii.org/ - dealii.git/commit
[CI]: add Jenkins.mark
authorTimo Heister <timo.heister@gmail.com>
Tue, 5 Feb 2019 23:02:13 +0000 (16:02 -0700)
committerTimo Heister <timo.heister@gmail.com>
Tue, 5 Feb 2019 23:03:47 +0000 (16:03 -0700)
commitf809d49183e94d267d5ec0a71ffd6c4ff328adfb
tree12e6e94d1f045cf8d6fd49da995918cbe0409022
parentda74ec2528cd0d0f1ea4f98a0ab447585c8e35fd
[CI]: add Jenkins.mark

Add a separate Jenkins pipeline that runs in a few seconds to set the
commit status to pending. This is needed as Jenkins only starts setting
a commit status when the normal jobs start running and not when they are
in the queue. This can lead to a) accidental merges before we test
things and b) repeated /rebuild triggers.
Jenkinsfile
contrib/ci/Jenkinsfile.mark [new file with mode: 0644]

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.