remove obsolete run circleci script (#4416)

gradio-app · Jun 5, 2023 · d13e889 · d13e889
1 parent 2effd86
commit d13e889
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 20 deletions.
diff --git a/scripts/helpers.sh b/scripts/helpers.sh
@@ -51,17 +51,6 @@ function pnpm_required() {
   program_required "pnpm" "https://pnpm.io/7.x/installation"
 }
 
-#######################################
-# Check for the CircleCI program.
-# Arguments:
-#   None
-# Outputs:
-#   None
-#######################################
-function circleci_required() {
-  program_required "circleci" "https://circleci.com/docs/1.0/local-cli/"
-}
-
 #######################################
 # Check for the AWS CLI program.
 # Arguments:

diff --git a/scripts/run_circleci.sh b/scripts/run_circleci.sh