| Davide Pesavento | 8f0028d | 2021-07-27 20:01:06 -0400 | [diff] [blame] | 1 | name: Docs |
| 2 | on: |
| 3 | push: |
| Davide Pesavento | 8f0028d | 2021-07-27 20:01:06 -0400 | [diff] [blame] | 4 | workflow_dispatch: |
| Davide Pesavento | 269b702 | 2023-02-12 16:14:56 -0500 | [diff] [blame] | 5 | inputs: |
| 6 | skip-deploy: |
| 7 | description: 'Skip deployment?' |
| 8 | required: true |
| 9 | type: boolean |
| Davide Pesavento | 8f0028d | 2021-07-27 20:01:06 -0400 | [diff] [blame] | 10 | |
| Davide Pesavento | 269b702 | 2023-02-12 16:14:56 -0500 | [diff] [blame] | 11 | permissions: {} |
| Davide Pesavento | 13dae35 | 2021-08-13 15:40:54 -0400 | [diff] [blame] | 12 | |
| Davide Pesavento | 8f0028d | 2021-07-27 20:01:06 -0400 | [diff] [blame] | 13 | jobs: |
| Davide Pesavento | 269b702 | 2023-02-12 16:14:56 -0500 | [diff] [blame] | 14 | html: |
| 15 | uses: named-data/actions/.github/workflows/docs-html.yml@v1 |
| 16 | with: |
| 17 | submodules: true |
| 18 | # Deploy only the master branch and release tags |
| 19 | deploy: ${{ !inputs.skip-deploy && (github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/NFD-')) }} |
| 20 | secrets: inherit |
| 21 | man: |
| 22 | uses: named-data/actions/.github/workflows/docs-man.yml@v1 |
| 23 | with: |
| 24 | submodules: true |