Simplify build workflows to a single one

metanorma / metanorma-docker

Docker container for running the Metanorma toolchain

https://www.metanorma.com

5 stars 3 forks source link

Closed CAMOBAP closed 2 years ago

CAMOBAP commented 2 years ago

This changes will help during transition to docker/build-and-push and support other tasks like arm64 compilation

ronaldtse commented 2 years ago

Thank you @CAMOBAP !