The contents of the DUNE GitLab website for unauthenticated users is under heavy restrictions at the moment. This may cause some unexpected and temporary inconveniences, like not being able to reach certain pages or CI jobs not being able to connect to the GitLab services. Thank you for your understanding.
Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
