Pull #18820: Consolidate CI to fix error-prone rewrite and spotbugs execution #2825#2847
Closed
Pankraz76 wants to merge 1 commit intodiffplug:mainfrom
Closed
Pull #18820: Consolidate CI to fix error-prone rewrite and spotbugs execution #2825#2847Pankraz76 wants to merge 1 commit intodiffplug:mainfrom
CI to fix error-prone rewrite and spotbugs execution #2825#2847Pankraz76 wants to merge 1 commit intodiffplug:mainfrom
Commits
Commits on Feb 1, 2026
- committed
Vincent Potucek