zrepl/.circleci
Christian Schwarz 82adb2b9f5 build: circleci: remove obsolete script
The binary packaging workflow has long since
been moved to this repo (I don't think the external
workflow work ever completed).
2024-09-08 23:19:45 +00:00
..
config.yml build: circleci: only archive artifacts/release 2024-09-08 23:19:45 +00:00
download_artifacts.py build: tooling to use CircleCI artifacts for releasing 2023-10-01 15:33:03 +00:00