Skip to content

Deployment pipeline added #11

Deployment pipeline added

Deployment pipeline added #11

Workflow file for this run

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/* .
git add .
git commit -m "Deploy updates from $(date)" || echo "No changes to commit"
git push origin gh-pages