summaryrefslogtreecommitdiff
path: root/.github/workflows/update-site.yml
blob: 000efe55545b21a1cc80f48f4d72b925e18a6d4d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
name: update site

on: workflow_dispatch  

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v2

    - name: Generate md
      run: ./scripts/update_site.sh

    - name: Push to gh-pages branch
      run: |
        git config --global user.name 'GitHub Action'
        git config --global user.email 'action@github.com'
        git stash
        git checkout gh-pages
        rm -rf ./_widgets
        git stash pop
        git add ./_widgets
        git commit -m "update from master"
        git push origin gh-pages