Use milestones to track issues and merge requests over a fixed period of time
Organize issues and merge requests into a cohesive group, and set optional start and due dates. Learn more.
Gitlab will be upgraded to 15.11 at 16.30 UTC (18.30 CEST, 13.30EDT) and will be briefly unavailable.
Our ARM infrastructure is unreachable at the moment, so CI jobs will time-out and packages will not be updated until the servers are back.
Organize issues and merge requests into a cohesive group, and set optional start and due dates. Learn more.