search

metanorma / metanorma-docker

Docker container for running the Metanorma toolchain
https://www.metanorma.com
5 stars 3 forks source link

Unroll tests #145

Closed ronaldtse closed 2 years ago

ronaldtse commented 2 years ago

Fixes #93 Fixes #145

ronaldtse commented 2 years ago

All passing!!