mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-04-06 12:30:29 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix create version docs action (#4130)

Browse Source 
* define version instead of upgrading

* add sleep

---------

Co-authored-by: Abubakar Abid <abubakar@huggingface.co>
This commit is contained in:
Ali Abdalla 2023-05-09 23:52:13 +04:00 committed by GitHub
parent 030a49b9eb
commit 128668d88a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/build-version-docs.yml vendored
View File

@ -33,8 +33,10 @@ jobs:
run: python -m pip install -r website/homepage/requirements.txt
- name: Pin httpx, httpcore, and h11
run: pip install h11==0.12.0 httpcore==0.15.0 httpx==0.23.0
- name: Wait 5 min
run: sleep 300
- name: Install gradio
run: python -m pip install gradio -U
run: python -m pip install gradio==$(cat gradio/version.txt)
- name: Build Docs
run: cd website/homepage && python build-version-docs.py
- name: Create Pull Request