Try and add ghprb (ticket 4610) to jenkins
This commit is contained in:
parent
32b9cde510
commit
c2f3896a73
1 changed files with 1 additions and 0 deletions
|
@ -231,6 +231,7 @@
|
||||||
- mailer
|
- mailer
|
||||||
- javadoc
|
- javadoc
|
||||||
- warnings
|
- warnings
|
||||||
|
- ghprb
|
||||||
notify:
|
notify:
|
||||||
- restart jenkins
|
- restart jenkins
|
||||||
tags:
|
tags:
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue