Closed github-actions[bot] closed 1 month ago
Review new discovered repositories during run https://github.com/metanorma/ci/actions/runs/9831475353:
And add them to cimas-config/cimas.yml with the right set of files
cimas-config/cimas.yml
files
Done https://github.com/metanorma/C-17/pull/2
Review new discovered repositories during run https://github.com/metanorma/ci/actions/runs/9831475353:
And add them to
cimas-config/cimas.yml
with the right set offiles