Closed opoudjis closed 2 years ago
https://github.com/metanorma/metanorma-release/actions/runs/2535754541
Fixed
https://github.com/metanorma/metanorma-release/actions/runs/2535754541