drop some old ci stuff

barsoom · Oct 17, 2024 · ed2e4c9 · ed2e4c9
1 parent 291a697
commit ed2e4c9
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 133 deletions.
diff --git a/script/ci/deploy.sh b/script/ci/deploy.sh
diff --git a/script/ci/support/wait_for_new_revision_to_serve_requests.rb b/script/ci/support/wait_for_new_revision_to_serve_requests.rb
diff --git a/script/ci/wait_for_new_revision_to_serve_requests.sh b/script/ci/wait_for_new_revision_to_serve_requests.sh