search

metanorma / metanorma-docker

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

test on samples ignore wrong exit codes #89

Closed CAMOBAP closed 3 years ago

CAMOBAP commented 4 years ago