Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
Security maintenance completed. Following a short-term security update, GitLab has been successfully upgraded to version 19.5.3. If you encounter any issues with your pipelines or projects, please open a ticket via support@inf.ethz.ch.
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'