Remove unused CI scripts

Now that we have all the CI tasks in Github Actions these scripts are never used.
dxw · Nov 12, 2024 · 19006d0 · 19006d0
1 parent a5efd7a
commit 19006d0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 20 deletions.
diff --git a/script/ci/cibuild b/script/ci/cibuild
diff --git a/script/ci/test b/script/ci/test