Merge branch 'pr/ci' into 'master'
CI: Run on current branch See merge request escape2020/wp3/codemeta2zenodo!4
Loading
Please register or sign in to comment
Gitlab has been updated. More info here.
CI: Run on current branch See merge request escape2020/wp3/codemeta2zenodo!4