metanorma / ci

Build scripts for Metanorma, works with continuous integration
3 stars 2 forks source link

Finally GHA supports workflow include #71

Closed CAMOBAP closed 2 years ago

CAMOBAP commented 2 years ago

We can get rid of cimas tool (run it for the last time)

cc @ronaldtse

CAMOBAP commented 2 years ago

Steps:

ronaldtse commented 2 years ago

Agree @CAMOBAP , thanks!

CAMOBAP commented 2 years ago

@ronaldtse may I ask you to doublecheck that our org's secret METANORMA_CI_PAT_TOKEN is available for this repo metanorma/metanorma-build-scripts?

ronaldtse commented 2 years ago

@ronaldtse may I ask you to doublecheck that our org's secret METANORMA_CI_PAT_TOKEN is available for this repo metanorma/metanorma-build-scripts?

Yes it is. METANORMA_CI_PAT_TOKEN

CAMOBAP commented 2 years ago

@ronaldtse quick update two repos left:

CAMOBAP commented 2 years ago

@ronaldtse I'm not sure about several PRs, may I ask you to review:

ronaldtse commented 2 years ago

@CAMOBAP these are all merged, is this task to be closed? Thanks!

CAMOBAP commented 2 years ago

Yep