metanorma / metanorma-docker

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

(URGENT) Release should also depend on mn-samples-ieee #171

Closed ronaldtse closed 1 year ago

ronaldtse commented 1 year ago

Right now the release flow uses mn-samples-ieee-private BUT NOT mn-samples-ieee. Both must be included.

This has led to the regressions of:

ronaldtse commented 1 year ago

Thank you @CAMOBAP !