search

metanorma / metanorma-docker

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

Add `dive` as a container CI step #109

Closed ronaldtse closed 3 years ago

ronaldtse commented 3 years ago

https://github.com/wagoodman/dive

CAMOBAP commented 3 years ago

Done