blob: a2cd7b36c61ae9832409f39e89587b37c7c26799 (
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
27
|
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 fetch
git checkout gh-pages
rm -rf ./_widgets
git stash pop
git add ./_widgets
git commit -m "update from master"
git push origin gh-pages
|
