mirror of
https://github.com/gradio-app/gradio.git
synced 2025-01-18 10:44:33 +08:00
a80084f3df
* support docs for pip and git * upload spaces with gradio wheel * aws * upload wheel to aws * fix error in docker compose * fix dockerfile * fix dockerfile * fix upload demos * fix upload demos * styling * fake change * remove check_version * fixes * fix buttons * fix navigation on main * add github action * build version docs in docker * fix path and docker errors * add requests * fix command * more docker fixes * more docker fixes * no prerelease * fix restart demos * undo fake changes, and fix build_version * fix variable * fix mistake * add how to build from main * new line to requirements * fix instructions * Update CHANGELOG.md * duplicate line in Dockerfile * switch to github actions, use separate pages * fix issues in github action * fix path for github action * more fixes * more fixes * fix github action * add template * fix demos template * update release notes for 3.9 * add -A * refactor * keep old version htmls * unpin gradio version in requirements * Update website/homepage/src/docs/template.html Co-authored-by: Abubakar Abid <abubakar@huggingface.co> Co-authored-by: Abubakar Abid <abubakar@huggingface.co>
11 lines
494 B
Python
11 lines
494 B
Python
from upload_demos import demos, upload_demo_to_space, AUTH_TOKEN, latest_gradio_stable
|
|
from gradio.networking import url_ok
|
|
import huggingface_hub
|
|
|
|
for demo in demos:
|
|
space_id = "gradio/" + demo
|
|
subdomain = huggingface_hub.space_info(space_id).subdomain
|
|
if not url_ok(f"https://{subdomain}.hf.space"):
|
|
print(f"{space_id} was down, restarting")
|
|
upload_demo_to_space(demo_name=demo, space_id="gradio/" + demo, hf_token=AUTH_TOKEN, gradio_version=latest_gradio_stable)
|