mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-03-01 11:45:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

add wheel install instructions to PR comment (#4890)

Browse Source 
* change

* change

* change
This commit is contained in:
pngwn 2023-07-12 11:28:24 +01:00 committed by GitHub
parent 4bf301324b
commit fd3837df3c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.github/workflows/deploy-pr-to-spaces.yml vendored
View File

@ -56,6 +56,13 @@ jobs:
with:
message: |
All the demos for this PR have been deployed at ${{ env.SPACE_URL }}
---
You can install the changes in this PR by running:
```bash
pip install ${{ env.wheel_name }}
```
comment_tag: All the demos for this PR have been deployed at
GITHUB_TOKEN: ${{ secrets.COMMENT_TOKEN }}
pr_number: ${{ env.pr_number }}