Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
You may have noticed that GitLab has been slow lately; we apologize for the inconvenience. An automated system has been put up to thwart scrapers. Should you notice anything amiss, kindly reach out to 1234@epfl.ch
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'