uima-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Marshall Schor <...@schor.com>
Subject Re: git pull requests no longer trigger jenkins builds?
Date Tue, 17 Sep 2019 16:07:47 GMT
thank you ! -Marshall

On 9/16/2019 2:29 PM, Richard Eckart de Castilho wrote:
> I have set up a Jenkins PR build for the uima-uimaj repo.
>
> We could now ask INFRA to mark the Jenkins check as mandatory such that a PR cannot be
merged unless the PR build is successful.
>
> Currently the build is configured such that it Marshall and I are admins (we can put
commands into comments and Jenkins will do them). Also, Jenkins *should* auto-build our PRs.
No additional accounts are whitelisted for auto-build atm.
>
> Cheers,
>
> -- Richard

Mime
View raw message