diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml new file mode 100644 index 0000000000..fc96aa71f2 --- /dev/null +++ b/.github/workflows/deploy.yml @@ -0,0 +1,40 @@ +name: Deploy + +on: + push: + branches: + - master + pull_request: + branches: + - master + workflow_dispatch: + +jobs: + deploy: + runs-on: ubuntu-latest + + steps: + - name: Checkout repository + uses: actions/checkout@v3 + with: + token: ${{ secrets.GITHUB_TOKEN }} + + - name: Set up Git + run: | + git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git + git config --global user.name "GitHub Actions" + git config --global user.email "github-actions[bot]@users.noreply.github.com" + + - name: Deploy to GitHub Pages + run: | + mkdir -p ../deploy + cp -r * ../deploy/ + git checkout gh-pages || git checkout --orphan gh-pages + git rm -rf . > /dev/null 2>&1 || true + git clean -fxd + cp -r ../deploy/* . + rm -rf ../deploy + git add . + git commit -m "Deploy updates from $(date)" || echo "No changes to commit" + git push origin gh-pages +