Closed opoudjis closed 3 months ago
mn-native-pdf updates are pushed as PRs to Metanorma flavours, and auto-merged. This appears not to be happening with the new Plateau flavour; e.g.
https://github.com/metanorma/metanorma-plateau/pull/65
On it
https://github.com/metanorma/metanorma-plateau/actions/runs/10247317686 Done
mn-native-pdf updates are pushed as PRs to Metanorma flavours, and auto-merged. This appears not to be happening with the new Plateau flavour; e.g.
https://github.com/metanorma/metanorma-plateau/pull/65