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

..

workflows

Update CI build descriptor

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

labels-manage.yml

Update labels

2021-07-11 08:54:10 +01:00

labels-rename.yml

Add labels manage workflows

2020-12-18 13:13:30 +00:00

release-files-spec.json

Change spec downloading files

2024-03-19 08:15:52 +00:00

rlnotes.mustache

Add github release to milestone release

2021-06-26 15:32:08 +01:00