Closed opoudjis closed 1 year ago
https://github.com/metanorma/metanorma-docker/actions/runs/3316841691/jobs/5479082953#step:10:20
The same error https://github.com/metanorma/metanorma-docker-private/issues/14
Fixed
https://github.com/metanorma/metanorma-docker/actions/runs/3316841691/jobs/5479082953#step:10:20