mirror of
https://github.com/gradio-app/gradio.git
synced 2024-11-27 01:40:20 +08:00
bdced314bc
* Being nice to the user * Front-end builder, CircleCI runner, and Gradio installer updated * The testing scripts updated * Front-end runner and the website launcher updated * The formatters updated * GitHub Actions and PyPI uploader scripts updated * Updating the URLs * Removing commented codes * Delete a blank line
10 lines
141 B
Bash
10 lines
141 B
Bash
#!/bin/bash
|
|
|
|
cd "$(dirname ${0})/.."
|
|
source scripts/helpers.sh
|
|
|
|
circleci_required
|
|
|
|
echo "Running CircleCI locally..."
|
|
circleci local execute
|