mirror of
https://github.com/gradio-app/gradio.git
synced 2025-01-24 10:54:04 +08:00
chore: update user mentions and log ci (#7371)
This commit is contained in:
parent
c1a7ea7c0c
commit
a6d9f3bb3c
@ -154,10 +154,7 @@ const changelogFunctions = {
|
||||
const users =
|
||||
usersFromSummary && usersFromSummary.length
|
||||
? usersFromSummary
|
||||
.map(
|
||||
(userFromSummary) =>
|
||||
`[@${userFromSummary}](https://github.com/${userFromSummary})`
|
||||
)
|
||||
.map((userFromSummary) => `@${userFromSummary}`)
|
||||
.join(", ")
|
||||
: links.user;
|
||||
|
||||
|
7
.github/workflows/deploy-spaces.yml
vendored
7
.github/workflows/deploy-spaces.yml
vendored
@ -73,7 +73,7 @@ jobs:
|
||||
cache-dependency-path: pnpm-lock.yaml
|
||||
- name: Install pip
|
||||
run: python -m pip install build requests
|
||||
- name: Get PR Number
|
||||
- name: Get Gradio Version
|
||||
id: get_gradio_version
|
||||
run: |
|
||||
if ${{ github.event_name == 'pull_request' || github.event.workflow_run.event == 'pull_request' }}; then
|
||||
@ -119,6 +119,11 @@ jobs:
|
||||
python scripts/upload_website_demos.py --AUTH_TOKEN ${{ secrets.WEBSITE_SPACES_DEPLOY_TOKEN }} \
|
||||
--WHEEL_URL https://gradio-builds.s3.amazonaws.com/${{ needs.changes.outputs.sha }}/ \
|
||||
--GRADIO_VERSION ${{ steps.get_gradio_version.outputs.GRADIO_VERSION }}
|
||||
- name: log
|
||||
run: |
|
||||
echo ${{github.event.workflow_run.event }}
|
||||
echo ${{ github.event.workflow_run.conclusion }}
|
||||
|
||||
comment-spaces-success:
|
||||
uses: "./.github/workflows/comment-queue.yml"
|
||||
needs: [deploy-spaces, changes]
|
||||
|
Loading…
Reference in New Issue
Block a user