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.
An extended maintenance, on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org, will occur tomorrow morning (17 May 2022) starting at approximately 9am MST. It is expected to take around two hours and GitLab will be in read only mode for the duration of the maintenance, further more there will be several periods of downtime. Please address any comments, concerns, or questions to firstname.lastname@example.org.