Hello!
Indeed, the issue was resolved after submitting again. It seems like an one-off issue that can be closed safely.
FYI though,
- The repository was created in GitLab website.
-
push masterthanpush tagwas used
Hello!
Indeed, the issue was resolved after submitting again. It seems like an one-off issue that can be closed safely.
FYI though,
push master than push tag was used