ci: drop Circle CI in favor of Github Actions

Apart from support for YAML anchors, builtin SSH support for introspecting builds, and maybe part of the UI and insights package, Circle CI is inferior in every other way, including documentation, caching, and features.
benoit-pierre · Nov 20, 2024 · 1bae66a · 1bae66a
1 parent 2142b43
commit 1bae66a
Show file tree

Hide file tree

Showing 5 changed files with 364 additions and 553 deletions.
diff --git a/.ci/build_script.sh b/.ci/build_script.sh
diff --git a/.ci/test_script.sh b/.ci/test_script.sh
diff --git a/.circleci/config.yml b/.circleci/config.yml