Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 12 May 2026, starting at approximately 900 PDT (1600 UTC). It is expected to take around an hour and there will be several periods of downtime throughout the maintenance. We will be installing security updates and updating the PostgreSQL database. There will be no updates to GitLab itself. Please address and comments, concerns, or questions to the helpdesk.
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'