issues
search
metanorma
/
metanorma-docker
Docker container for running the Metanorma toolchain
https://www.metanorma.com
5
stars
3
forks
source link
Use docker built-in squash functionality since GHA seems to support it
#110
Closed
ronaldtse
closed
3 years ago