[esterel7] move to queue production (!1094) · 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 Lucas Nussbaum requested to merge est7prod into master 2 months ago

Admin message