[CI] add check_tags CI job (#1072)
* add check_tags CI job * fix typo in gitlab-ci.yml * add more useful CI output * Make presence of github token optional
parent
a6238226
Please register or sign in to comment
* add check_tags CI job * fix typo in gitlab-ci.yml * add more useful CI output * Make presence of github token optional