On Mon, Sep 12, 2022 at 11:10 AM Ralph Goers <ralph.go...@dslextreme.com> 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.
