Re: [Dbutils] PR merges build

2023-01-10 Thread Gary Gregory
Thank you Carl! Gary On Mon, Jan 9, 2023, 23:03 Carl Hall wrote: > 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. > B

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

Re: [Dbutils] PR merges build

2022-12-16 Thread Gary Gregory
Ping. Gary On Fri, Dec 9, 2022, 06:50 Gary Gregory wrote: > -1 to the commit or PR that broke the build. To whomever merged it, please > revert. > > Before you merge a PR, if you are uncertain that it is safe, test it > locally. > > Gary >

[Dbutils] PR merges build

2022-12-09 Thread Gary Gregory
-1 to the commit or PR that broke the build. To whomever merged it, please revert. Before you merge a PR, if you are uncertain that it is safe, test it locally. Gary