Skip to content

ci: update metanorma workflows and add release manifest#41

Merged
ronaldtse merged 2 commits into
mainfrom
update-mn-workflows
May 11, 2026
Merged

ci: update metanorma workflows and add release manifest#41
ronaldtse merged 2 commits into
mainfrom
update-mn-workflows

Commits

Commits on May 11, 2026