Clement Tsang 8629468e45 ci: use scripts in more places in CI (#1906) ...

* move cirrus release script

* update a few other places

2025-12-20 18:53:36 -05:00

..

cirrus_release.py

…

configure_git.sh

…

generate_choco.sh

…

release_choco.sh

…

release_stable_docs.sh

…