Mahmoud Ben Hassine bcf39dfc61 Update CI build descriptor ...

This commit attempts to fix the following build error:

Error: 3 [Error] Server ID 'repo.spring.io' does not exist.

2025-02-07 06:56:46 +01:00

3.0 KiB

Raw Permalink Blame History

View Raw