Skip to content

build: remove unused dependencies spotbugs and jakarta - #1487

Merged
c-dilks merged 1 commit into
developmentfrom
mvn-rm-pins
Oct 8, 2026
Merged

c-dilks merged 1 commit into
developmentfrom
mvn-rm-pins

Conversation

@c-dilks

@c-dilks c-dilks commented Oct 8, 2026 •

Copy link
Copy Markdown
Member

Note

This does not remove spotbugs CI tests

Remove the following dependencies / pins:

Dependency Notes
com.github.spotbugs:spotbugs unnecessary, and just a pin; the spotbug:check goal that we run in the CI test uses the plugin com.github.spotbugs:spotbugs-maven-plugin, not this dependency
jakarta.annotation:jakarta.annotation-api only used for @Nullable hint to spotbugs in LTCCHit, but we are suppressing this one already in spotbugs-exclude.xml; comments indicate @Nullable doesn't work anymore anyway

@c-dilks c-dilks added the maven label Oct 8, 2026
@c-dilks c-dilks changed the title build: remove spotbugs and jakarta dependencies build: remove unused dependencies spotbugs and jakarta Oct 8, 2026
@c-dilks
c-dilks enabled auto-merge (squash) October 8, 2026 16:10
@c-dilks
c-dilks disabled auto-merge October 8, 2026 16:10
@c-dilks
c-dilks enabled auto-merge (squash) October 8, 2026 16:10
@c-dilks
c-dilks merged commit 5c928dc into development Oct 8, 2026
24 checks passed
@c-dilks
c-dilks deleted the mvn-rm-pins branch October 8, 2026 22:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants