mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-21 02:19:59 +08:00
0807a7c227
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
36 lines
959 B
YAML
36 lines
959 B
YAML
name: Delete Stale Spaces
|
|
|
|
on:
|
|
schedule:
|
|
- cron: '0 0 * * *'
|
|
workflow_dispatch:
|
|
inputs:
|
|
daysStale:
|
|
description: 'How stale a space needs to be to be deleted (days)'
|
|
required: true
|
|
default: '7'
|
|
|
|
|
|
jobs:
|
|
delete-old-spaces:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
- name: Install Python
|
|
uses: actions/setup-python@v4
|
|
with:
|
|
python-version: '3.9'
|
|
- name: Install pip
|
|
run: python -m pip install pip wheel requests
|
|
- name: Install Hub Client Library
|
|
run: pip install huggingface-hub==0.9.1
|
|
- name: Set daysStale
|
|
env:
|
|
DEFAULT_DAYS_STALE: '7'
|
|
run: echo "DAYS_STALE=${{ github.event.inputs.daysStale || env.DEFAULT_DAYS_STALE }}" >> $GITHUB_ENV
|
|
- name: Find and delete stale spaces
|
|
run: |
|
|
python scripts/delete_old_spaces.py $DAYS_STALE \
|
|
gradio-pr-deploys \
|
|
${{ secrets.SPACES_DEPLOY_TOKEN }}
|