mirror of
https://github.com/gradio-app/gradio.git
synced 2025-02-17 11:29:58 +08:00
Format-The-Codebase
- update scripts
This commit is contained in:
parent
934071d607
commit
47b4b69290
@ -68,8 +68,14 @@ All PRs should be against `master`. Direct commits to master are blocked, and PR
|
||||
* A maintainer (@abidlabs, @aliabid94, @aliabd, @AK391, or @dawoodkhan82) is tagged in the PR comments and asked to complete a review
|
||||
|
||||
We ask that you make sure initial CI checks are passing before requesting a review. One of the Gradio maintainers will merge the PR when all the checks are passing.
|
||||
Do not forget the format the codebase before pushing.
|
||||
|
||||
Do not forget the format the backend before pushing.
|
||||
```
|
||||
bash scripts/run_frontend.sh
|
||||
bash scripts/format_backend.sh
|
||||
```
|
||||
You can run the circleci checks locally as well.
|
||||
```
|
||||
bash scripts/run_circleci.sh
|
||||
```
|
||||
|
||||
*Could these guidelines be clearer? Feel free to open a PR to help us faciltiate open-source contributions!*
|
||||
|
@ -8,6 +8,3 @@ else
|
||||
npm install
|
||||
npm run build
|
||||
fi
|
||||
|
||||
|
||||
|
||||
|
11
scripts/run_circleci.sh
Normal file
11
scripts/run_circleci.sh
Normal file
@ -0,0 +1,11 @@
|
||||
#!/bin/bash
|
||||
if [ -z "$(ls | grep CONTRIBUTING.md)" ]; then
|
||||
echo "Please run the script from repo directory"
|
||||
exit -1
|
||||
else
|
||||
echo "Running circleci locally"
|
||||
circleci local execute
|
||||
fi
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user