search

metanorma / ci

Build scripts for Metanorma, works with continuous integration
3 stars 2 forks source link

New repos in metanorma found #122

Closed github-actions[bot] closed 1 year ago

github-actions[bot] commented 1 year ago

Review new discovered repositories during run https://github.com/metanorma/ci/actions/runs/6091080273:

[]

And add them to cimas-config/cimas.yml with the right set of files

ronaldtse commented 1 year ago

@CAMOBAP the empty array should not cause a new issue. Thanks!

CAMOBAP commented 1 year ago

Fixed