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
