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