2021-05-06 12:22:54 +00:00
|
|
|
name: github-pages
|
2020-12-15 15:49:51 +00:00
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- master
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v2
|
2021-05-03 13:43:35 +00:00
|
|
|
|
2021-05-04 09:26:39 +00:00
|
|
|
- name: Build docs
|
2021-05-04 10:06:16 +00:00
|
|
|
run: make build-docs
|
2020-12-15 15:49:51 +00:00
|
|
|
|
|
|
|
|
- name: Deploy to Pages
|
2021-04-14 09:31:19 +00:00
|
|
|
uses: JamesIves/github-pages-deploy-action@4.1.1
|
2020-12-15 15:49:51 +00:00
|
|
|
with:
|
2021-04-14 09:31:19 +00:00
|
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
branch: gh-pages # The branch the action should deploy to.
|
|
|
|
|
folder: docs # The folder the action should deploy.
|
|
|
|
|
clean: true # Automatically remove deleted files from the deploy branch
|
