Esterel10 metrics (!1027) · Merge requests · grid5000 / reference-repository

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

Merged POUILLOUX Laurent requested to merge esterel10_metrics into master 3 months ago

Admin message