]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da74ec2) | patch
[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
tree12e6e94d1f045cf8d6fd49da995918cbe0409022tree | snapshot
parentda74ec2528cd0d0f1ea4f98a0ab447585c8e35fdcommit | diff
[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 diff | blob | history
contrib/ci/Jenkinsfile.mark [new file with mode: 0644] blob
Mirror of the development repository for deal.II

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.