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

ronaldtse merged 2 commits into
mainfrom
update-mn-workflows

Commits

  1. Commits on May 11, 2026