Closed himorin closed 1 year ago
This PR updates GHAction for streamlined publication, to be published as CRD. (draft status after CR publication.)
Do not merge this before CR publication. (fine to be merged after 2023-06-23, if publication out at 2023-06-22)
to be merged at 2023-06-23!
This PR updates GHAction for streamlined publication, to be published as CRD. (draft status after CR publication.)
Do not merge this before CR publication. (fine to be merged after 2023-06-23, if publication out at 2023-06-22)