search

metanorma / metanorma-docker

Docker container for running the Metanorma toolchain
https://www.metanorma.com
5 stars 3 forks source link

(URGENT) metanorma-docker versions not tagged according to metanorma-cli #92

Closed ronaldtse closed 4 years ago

ronaldtse commented 4 years ago

1.3.7.3 is created in metanorma-cli, but metanorma-docker is only at v1.3.7.1???

This urgently needs fixing.

Screen Shot 2020-09-12 at 9 43 59 AM
CAMOBAP commented 4 years ago
Screen Shot 2020-09-12 at 7 46 13 AM

https://hub.docker.com/r/metanorma/metanorma/tags - also updated

@ronaldtse looks right, isn't it?

ronaldtse commented 4 years ago

Yes, looks right. Thanks @CAMOBAP !

ronaldtse commented 4 years ago

However @CAMOBAP was the 1.3.7.2 tag not run because of failure? I had to manually tag v1.3.7.3 in metanorma-cli.

CAMOBAP commented 4 years ago

However @CAMOBAP was the 1.3.7.2 tag not run because of failure?

@ronaldtse I can confirm this.

Let me prepare a summary on this situation how we can improve this, I will post it in https://github.com/metanorma/metanorma-cli/issues/174 because the topic perfectly fit the problem

ronaldtse commented 4 years ago

Thanks @CAMOBAP !