Skip to content

ci: update metanorma workflows and add release manifest#7

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

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

Commits

Commits on May 11, 2026