Stéphane Nicoll bedb9493d1 Remove dependency on https://repo.spring.io/plugins-release ...

It turns out the repository is required for a plugin that the project
does not use. This commit removes the declaration and adapt CI
accordingly.

Closes gh-1813

2024-10-11 11:34:39 +02:00

1.1 KiB

Raw Permalink Blame History

View Raw