mirror of
https://github.com/gradio-app/gradio.git
synced 2025-02-05 11:10:03 +08:00
b7010fa0eb
* dont install if cache * Fix * Fix client cache * Potential fix * Change key name * Fix * Use python command * Build front-end in lint job * Install * Fix * Build afterward * Consolidate lint * trigger ci * Fix windows * Use virtualenv * New try * Typo * Fix typp * Add full path * Separate Linux and windows steps * Typos * shell * trigger ci * Fix * use command * Use cache for setup python too * Separate cache for front-end * trigger ci * Add Don't lint on windows * Add if changes * Delete restore keys --------- Co-authored-by: Abubakar Abid <abubakar@huggingface.co> |
||
---|---|---|
.. | ||
benchmark_queue.py | ||
build_frontend.sh | ||
check_pypi.py | ||
copy_demos.py | ||
create_test_requirements-37.sh | ||
create_test_requirements.sh | ||
delete_old_spaces.py | ||
download_artifacts.py | ||
format_backend.sh | ||
format_frontend.sh | ||
format_release_notes.py | ||
gh_action_pypi.sh | ||
helpers.sh | ||
install_gradio.sh | ||
install_test_requirements.sh | ||
launch_website.sh | ||
lint_backend.sh | ||
run_all_tests.sh | ||
run_frontend.sh | ||
type_check_backend.sh | ||
upload_demo_to_space.py |