mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-21 02:19:59 +08:00
42 lines
1.1 KiB
YAML
42 lines
1.1 KiB
YAML
# safe runs from main
|
|
|
|
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"
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
delete-old-spaces:
|
|
permissions:
|
|
contents: read
|
|
environment: deploy_spaces
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- name: Install Python
|
|
uses: actions/setup-python@v5
|
|
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 }}
|