ci: scope SpotBugs to a PR's changed modules (per-module skip)#1400

Draft

joaodinissf wants to merge 3 commits into

dsldevkit:masterfrom

joaodinissf:ci/spotbugs-skip

Commits on Jul 8, 2026

ci: restore Maven cache from master-produced caches in maven-verify

joaodinissf
and
claude
committed
ci: fast static analysis with early-fail lint + inline SARIF

joaodinissf
and
claude
committed
ci: scope SpotBugs to the PR's changed modules (per-module skip)

joaodinissf
and
claude
committed