On Mon, Sep 12, 2022 at 11:10 AM Ralph Goers <[email protected]> wrote: > While that might be true, we don’t use Jenkins for our builds anymore. > Instead, they all fail with GitHub actions instead of failing with Jenkins.
It's a Maven plugin.
On Mon, Sep 12, 2022 at 11:10 AM Ralph Goers <[email protected]> wrote: > While that might be true, we don’t use Jenkins for our builds anymore. > Instead, they all fail with GitHub actions instead of failing with Jenkins.
It's a Maven plugin.