Skip to content
Label closed PR as merged and leave a comment

Add missing @Deprecated annotations to match @deprecated Javadoc tags #9679

Sign in to view logs

Add missing @Deprecated annotations to match @deprecated Javadoc tags

Add missing @Deprecated annotations to match @deprecated Javadoc tags #9679

Triggered via push April 22, 2026 13:52
@cortinicocortinico
pushed c49de47
nc/fix-deprs
Status Success
Total duration 10s
Artifacts –

close-pr.yml

on: push
comment-and-label
5s
comment-and-label
Fit to window
Zoom out
Zoom in