name: Deploy to Spaces on: push: branches: [ main ] tags: - 'v*' workflow_dispatch: jobs: deploy: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 with: fetch-depth: 0 - name: Deploy to Hugging Face Spaces env: HF_TOKEN: ${{ secrets.HF_TOKEN }} HF_USERNAME: ${{ secrets.HF_USERNAME }} SPACE_NAME: ${{ secrets.SPACE_NAME }} run: | if [ -z "$HF_TOKEN" ] || [ -z "$HF_USERNAME" ] || [ -z "$SPACE_NAME" ]; then echo "Skipping deploy: HF_TOKEN, HF_USERNAME or SPACE_NAME not configured" exit 0 fi git config --global user.email "github-actions[bot]@users.noreply.github.com" git config --global user.name "github-actions[bot]" git remote add space https://huggingface:${HF_TOKEN}@huggingface.co/spaces/${HF_USERNAME}/${SPACE_NAME} git push space main --force echo "Deployed to https://huggingface.co/spaces/${HF_USERNAME}/${SPACE_NAME}"