Skip to content

ci: update metanorma workflows and add release manifest#3

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

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

Commits

Commits on May 11, 2026