Skip to content

ci: update metanorma workflows and add release manifest#2

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

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

Commits

Commits on May 11, 2026