Remove unused CI scripts

Now that we have all the CI tasks in Github Actions these scripts are never used.
dxw · Dec 12, 2024 · 706294d · 706294d
1 parent 5f83437
commit 706294d
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