mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-02-17 11:29:58 +08:00
Code Issues Packages Projects Releases Wiki Activity

working on github action fix (#1552)

Browse Source
This commit is contained in:
Abubakar Abid 2022-06-13 13:00:35 -07:00 committed by GitHub
parent 63030a602d
commit e2336f1a72
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gradio/version.txt
View File

@ -1 +1 @@
3.0.13b100
3.0.13b101

5
scripts/gh_action_pypi.sh
View File

@ -3,6 +3,7 @@ if [ -z "$(ls | grep CONTRIBUTING.md)" ]; then
echo "Please run the script from repo directory"
exit -1
else
set -e
old_version=$(grep -Po "(?<=version=\")[^\"]+(?=\")" setup.py)
read -r new_version < gradio/version.txt
sed -i "s/version=\"$old_version\"/version=\"$new_version\"/g" setup.py
@ -14,7 +15,9 @@ else
pnpm build
GRADIO_VERSION=$new_version pnpm build:cdn
cd ..
aws s3 cp gradio/templates/cdn s3://gradio/$new_version/ --recursive # requires aws cli (contact maintainers for credentials)
echo "Before AWS"
aws s3 cp gradio/templates/cdn s3://gradio/$new_version/ --recursive
echo "After AWS"
cp gradio/templates/cdn/index.html gradio/templates/frontend/share.html
rm -r dist/*