Re: [Dbutils] PR merges build

2023-01-09 Thread Carl Hall
The fix was thankfully straightforward and quickly evident. Spotbugs was rolled back to a previous version (4.2.3). The analysis bugs raised by the upgrade will be addressed in a branch away from master before upgrading. Builds are green again. On Mon, Jan 9, 2023 at 9:48 PM Carl Hall wrote: > A

Re: [Dbutils] PR merges build

2023-01-09 Thread Carl Hall
Apologies for causing the build breakage, and missing your message. This is my project priority until resolved. Thanks for staying on top of this. On Fri, Dec 16, 2022 at 4:11 AM Gary Gregory wrote: > Ping. > > Gary > > On Fri, Dec 9, 2022, 06:50 Gary Gregory wrote: > > > -1 to the commit or PR