| 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/**' |
| Adrià Vilanova Martínez | 18b329f | 2023-11-30 01:13:12 +0100 | [diff] [blame] | 9 | workflow_dispatch: |
| Copybara bot | be50d49 | 2023-11-30 00:16:42 +0100 | [diff] [blame] | 10 | |
| 11 | jobs: |
| 12 | build: |
| 13 | name: Deploy docs |
| 14 | runs-on: ubuntu-latest |
| 15 | steps: |
| 16 | - name: Checkout master |
| Renovate bot | 6894e7c | 2024-04-25 15:12:44 +0000 | [diff] [blame] | 17 | uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4 |
| Copybara bot | be50d49 | 2023-11-30 00:16:42 +0100 | [diff] [blame] | 18 | |
| 19 | - name: Deploy docs |
| 20 | uses: mhausenblas/mkdocs-deploy-gh-pages@master |
| 21 | env: |
| 22 | GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |