search

metanorma / ci

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

Add gh-repo-status-action to check if repository public or not #111

Closed CAMOBAP closed 1 year ago

CAMOBAP commented 1 year ago

Related issue: https://github.com/plurimath/plurimath/issues/126