search

metanorma / ci

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

New repos in metanorma found #182

Closed github-actions[bot] closed 2 months ago

github-actions[bot] commented 3 months ago

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

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

github-actions[bot] commented 2 months ago

Review new discovered repositories during run {{ env.GITHUB_SERVER_URL }}/{{ env.GITHUB_REPOSITORY }}/actions/runs/{{ env.GITHUB_RUN_ID }}:

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