2022-12-10 06:07:56 +08:00
|
|
|
name: deploy-github-page
|
2021-08-01 22:51:00 +01:00
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches: [ master ]
|
|
|
|
|
|
|
|
|
|
workflow_dispatch:
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
container: twtug/lkmpg
|
|
|
|
|
|
|
|
|
|
steps:
|
2022-04-28 19:19:29 +08:00
|
|
|
- uses: actions/checkout@v3.0.2
|
2021-08-01 22:51:00 +01:00
|
|
|
- name: Build
|
|
|
|
|
run: |
|
|
|
|
|
make html
|
|
|
|
|
- name: Deploy to gh-pages branch
|
2022-04-28 19:19:29 +08:00
|
|
|
uses: peaceiris/actions-gh-pages@v3.8.0
|
2021-08-01 22:51:00 +01:00
|
|
|
with:
|
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
publish_dir: ./html
|
|
|
|
|
publish_branch: gh-pages
|
