File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4040 token : ${{ secrets.WEBSITE_PUBLISH }}
4141 - name : Sync demo app into target subfolder
4242 run : |
43- rsync -av --delete src/ifcchat/ output/
43+ rsync -av --delete --exclude='.git/' src/ifcchat/ output/
4444 - name : Setup Python
4545 uses : actions/setup-python@v5
4646 with :
6363
6464 git commit -m "$(git log --oneline -1)"
6565 git push origin gh-pages
66- git push
Original file line number Diff line number Diff line change 4040 token : ${{ secrets.WEBSITE_PUBLISH }}
4141 - name : Sync demo app into target subfolder
4242 run : |
43- rsync -av --delete src/pyodide/demo-app/ output/
43+ rsync -av --delete --exclude='.git/' src/pyodide/demo-app/ output/
4444 - name : Commit and push if changed
4545 working-directory : output
4646 run : |
5555
5656 git commit -m "$(git log --oneline -1)"
5757 git push origin gh-pages
58- git push
You can’t perform that action at this time.
0 commit comments