Re: New PR builder Jenkins job

2020-09-01 Thread Ismael Juma
Thanks David! This is very helpful. Ismael On Tue, Sep 1, 2020, 3:15 PM David Arthur wrote: > Following the migration to the new ci-builds.apache.org, our existing PR > builder jobs stopped working. This was due to the removal of a github > plugin which we relied on. While looking into how to f

New PR builder Jenkins job

2020-09-01 Thread David Arthur
Following the migration to the new ci-builds.apache.org, our existing PR builder jobs stopped working. This was due to the removal of a github plugin which we relied on. While looking into how to fix this, we decided to take the opportunity to switch over to a declarative Jenkinsfile for the build.