issues
search
metanorma
/
metanorma-docker
Docker container for running the Metanorma toolchain
https://www.metanorma.com
5
stars
3
forks
source link
gzip: stdin: not in gzip format
#120
Closed
CAMOBAP
closed
2 years ago
CAMOBAP
commented
2 years ago
https://github.com/metanorma/metanorma-docker/actions/runs/1475143689
CAMOBAP
commented
2 years ago
Fixed after idnits removed