Spaces:
Configuration error
Configuration error
| name: Sync to Hugging Face Hub | |
| # GitHub main is the source of truth for both Spaces: | |
| # - mppolak/madtools (madtools.org) runs the website and gets the repo as-is. | |
| # - AccuratePaperExtraction/MADTOOL only displays the backend files: it gets a | |
| # snapshot without index.html, with deploy/backend-space-README.md as README.md. | |
| # The two jobs are independent, so one failing doesn't block the other. | |
| on: | |
| push: | |
| branches: [ main ] | |
| workflow_dispatch: | |
| jobs: | |
| website: | |
| name: sync website (mppolak/madtools) | |
| runs-on: ubuntu-latest | |
| env: | |
| SPACE: mppolak/madtools | |
| steps: | |
| - uses: actions/checkout@v6 | |
| with: | |
| fetch-depth: 0 | |
| lfs: true | |
| - name: Block deploy if the Space has commits GitHub doesn't | |
| env: | |
| HF_TOKEN: ${{ secrets.HF_TOKEN_MADTOOLS }} | |
| run: | | |
| git remote add hf https://user:$HF_TOKEN@huggingface.co/spaces/$SPACE | |
| git fetch hf main | |
| AHEAD=$(git rev-list --count HEAD..hf/main) | |
| if [ "$AHEAD" -gt 0 ]; then | |
| echo "::error::The Space $SPACE has $AHEAD commit(s) not on GitHub. Deploy blocked to avoid discarding them." | |
| echo "Commits only on the Space:" | |
| git log --format=' %h %an %s' HEAD..hf/main | |
| echo "" | |
| echo "To reconcile, from a local clone of this repo:" | |
| echo " git fetch https://huggingface.co/spaces/$SPACE main" | |
| echo " git merge FETCH_HEAD # review the diff, resolve, or revert what you don't want" | |
| echo " git push origin main # re-runs this workflow, which will then fast-forward the Space" | |
| exit 1 | |
| fi | |
| echo "Space $SPACE is in sync with GitHub; proceeding." | |
| - name: Push to HF Space | |
| run: git push hf HEAD:main | |
| backend-files: | |
| name: sync backend files (AccuratePaperExtraction/MADTOOL) | |
| runs-on: ubuntu-latest | |
| env: | |
| SPACE: AccuratePaperExtraction/MADTOOL | |
| steps: | |
| - uses: actions/checkout@v6 | |
| with: | |
| fetch-depth: 0 | |
| lfs: true | |
| - name: Block deploy if the Space was edited directly | |
| env: | |
| HF_TOKEN: ${{ secrets.HF_TOKEN }} | |
| run: | | |
| git remote add hf https://user:$HF_TOKEN@huggingface.co/spaces/$SPACE | |
| git fetch hf main | |
| # The Space's history holds snapshots this job made (marked with a | |
| # Deployed-From trailer); any other commit GitHub lacks is a manual edit. | |
| MANUAL=$(git log --format='%h %(trailers:key=Deployed-From,valueonly,separator=)' HEAD..hf/main | awk 'NF==1 {print $1}') | |
| if [ -n "$MANUAL" ]; then | |
| echo "::error::The Space $SPACE has commits made directly on it. Deploy blocked to avoid discarding them." | |
| for c in $MANUAL; do git log -1 --format=' %h %an %s' "$c"; done | |
| echo "" | |
| echo "To reconcile, from a local clone of this repo, bring any wanted changes into GitHub" | |
| echo "(the README lives in deploy/backend-space-README.md), then record the edits as merged:" | |
| echo " git fetch https://huggingface.co/spaces/$SPACE main" | |
| echo " git merge -s ours FETCH_HEAD" | |
| echo " git push origin main" | |
| exit 1 | |
| fi | |
| echo "Space $SPACE has no direct edits; proceeding." | |
| - name: Build backend-files snapshot and push | |
| run: | | |
| export GIT_INDEX_FILE="$RUNNER_TEMP/backend-files.index" | |
| git read-tree HEAD | |
| git rm --cached --quiet --ignore-unmatch index.html deploy/backend-space-README.md | |
| git update-index --add --cacheinfo 100644,"$(git hash-object -w deploy/backend-space-README.md)",README.md | |
| TREE=$(git write-tree) | |
| unset GIT_INDEX_FILE | |
| if [ "$TREE" = "$(git rev-parse 'hf/main^{tree}')" ]; then | |
| echo "Space $SPACE already has these files; nothing to push." | |
| exit 0 | |
| fi | |
| COMMIT=$(git -c user.name="github-actions[bot]" \ | |
| -c user.email="41898282+github-actions[bot]@users.noreply.github.com" \ | |
| commit-tree "$TREE" -p hf/main \ | |
| -m "Sync backend files from GitHub ${GITHUB_SHA::7}" \ | |
| -m "Deployed-From: $GITHUB_SHA") | |
| git push hf "$COMMIT:refs/heads/main" | |