GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Hoping the issue where Sirius can't find its GPUs will not occur again thanks to this update.
Merge details
assigned to @pijacquo
enabled an automatic merge when the pipeline for 1d32ca1c succeeds
merged
mentioned in commit ebf152ed