Copybara bot | be50d49 | 2023-11-30 00:16:42 +0100 | [diff] [blame] | 1 | name: Publish docs via GitHub Pages |
| 2 | on: |
| 3 | push: |
| 4 | branches: |
| 5 | - master |
Adrià Vilanova MartÃnez | b9877ce | 2023-11-30 01:05:04 +0100 | [diff] [blame^] | 6 | - main |
Copybara bot | be50d49 | 2023-11-30 00:16:42 +0100 | [diff] [blame] | 7 | paths: |
| 8 | - 'docs/**' |
| 9 | |
| 10 | jobs: |
| 11 | build: |
| 12 | name: Deploy docs |
| 13 | runs-on: ubuntu-latest |
| 14 | steps: |
| 15 | - name: Checkout master |
| 16 | uses: actions/checkout@v1 |
| 17 | |
| 18 | - name: Deploy docs |
| 19 | uses: mhausenblas/mkdocs-deploy-gh-pages@master |
| 20 | env: |
| 21 | GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |