add github pages pipeline

This commit is contained in:
Willian Paixao 2021-12-11 21:29:27 +01:00
parent cb983acf9f
commit 9a7582222c
No known key found for this signature in database
GPG key ID: 4BB3AE4D48EF1764
2 changed files with 28 additions and 2 deletions

View file

@ -1,6 +1,10 @@
name: Build
on: [pull_request, push]
on:
pull_request:
push:
branches-ignore:
- gh-pages
jobs:
build:
@ -19,5 +23,5 @@ jobs:
- name: Upload UF2
uses: actions/upload-artifact@v2
with:
name: watch.uf2.uf2
name: watch.uf2
path: apps/**/build/watch.uf2

22
.github/workflows/gh-pages.yml vendored Normal file
View file

@ -0,0 +1,22 @@
name: GitHub Pages
#on:
# push:
# branches:
# - main
on: [pull_request, push]
jobs:
gh-pages:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Doxygen Action
uses: mattnotmitt/doxygen-action@v1
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_branch: gh-pages
publish_dir: docs/