Skip to content

Remove version lock for JDT in spotless #2613

Remove version lock for JDT in spotless

Remove version lock for JDT in spotless #2613

Annotations

1 notice

integration-tests (testRunAllInfProofs, ubuntu-latest, 21)

succeeded Oct 25, 2024 in 33m 48s