| Davide Pesavento | 30ed628 | 2021-07-25 20:05:06 -0400 | [diff] [blame] | 1 | name: Docs |
| 2 | on: |
| 3 | push: |
| Davide Pesavento | 01cea50 | 2021-07-31 19:25:42 -0400 | [diff] [blame] | 4 | paths-ignore: |
| Davide Pesavento | 83f8d16 | 2021-09-26 21:58:36 -0400 | [diff] [blame] | 5 | - '*.md' |
| Davide Pesavento | 01cea50 | 2021-07-31 19:25:42 -0400 | [diff] [blame] | 6 | - '.mailmap' |
| Davide Pesavento | 30ed628 | 2021-07-25 20:05:06 -0400 | [diff] [blame] | 7 | workflow_dispatch: |
| Davide Pesavento | a90b2cf | 2023-02-06 00:38:38 -0500 | [diff] [blame^] | 8 | inputs: |
| 9 | skip-deploy: |
| 10 | description: 'Skip deployment?' |
| 11 | required: true |
| 12 | type: boolean |
| Davide Pesavento | 30ed628 | 2021-07-25 20:05:06 -0400 | [diff] [blame] | 13 | |
| Davide Pesavento | a90b2cf | 2023-02-06 00:38:38 -0500 | [diff] [blame^] | 14 | permissions: {} |
| Davide Pesavento | 01cea50 | 2021-07-31 19:25:42 -0400 | [diff] [blame] | 15 | |
| Davide Pesavento | 30ed628 | 2021-07-25 20:05:06 -0400 | [diff] [blame] | 16 | jobs: |
| Davide Pesavento | a90b2cf | 2023-02-06 00:38:38 -0500 | [diff] [blame^] | 17 | html: |
| 18 | uses: named-data/actions/.github/workflows/docs-html.yml@v1 |
| 19 | with: |
| 20 | # Deploy only the master branch and release tags |
| 21 | deploy: ${{ !inputs.skip-deploy && (github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/ndn-cxx-')) }} |
| 22 | secrets: inherit |
| 23 | man: |
| 24 | uses: named-data/actions/.github/workflows/docs-man.yml@v1 |