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