Skip to content

add missing file to background image fix #67

add missing file to background image fix

add missing file to background image fix #67

Workflow file for this run

name: Cleanup GitHub pages
on:
pull_request_target:
types: [closed]
jobs:
cleanup-pages:
name: Delete demo page when PR closed
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@v3
with:
ref: 'gh-pages'
- name: Delete files
shell: bash
run: |
git config --global user.email "[email protected]"
git config --global user.name "Yi Lei Feng"
git rm -r ${{ github.head_ref }}/*
git commit -a -m 'Delete PR demo from GH pages ${{ github.head_ref }}'
git push origin HEAD:gh-pages