Skip to content

Bump org.eclipse.jdt:org.eclipse.jdt.annotation from 2.2.700 to 2.2.800 #1841

Bump org.eclipse.jdt:org.eclipse.jdt.annotation from 2.2.700 to 2.2.800

Bump org.eclipse.jdt:org.eclipse.jdt.annotation from 2.2.700 to 2.2.800 #1841

GitHub Actions / pitest succeeded Dec 22, 2023 in 0s

Pitest mutation testing feedback

Looks good. No mutations were possible for these changes.
Mutation testing report generated by PITest - https://pitest.org - if there are surviving mutants, please check the line comments under 'Files changed', or the full report under the 'CI / pitest' check below this comment.