| name: Docs |
| on: |
| push: |
| paths-ignore: |
| - '*.md' |
| - '.mailmap' |
| workflow_dispatch: |
| inputs: |
| skip-deploy: |
| description: 'Skip deployment?' |
| required: true |
| type: boolean |
| |
| permissions: {} |
| |
| jobs: |
| html: |
| uses: named-data/actions/.github/workflows/docs-html.yml@v1 |
| with: |
| submodules: true |
| # Deploy only the master branch and release tags |
| deploy: ${{ !inputs.skip-deploy && (github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/NFD-')) }} |
| secrets: inherit |
| man: |
| uses: named-data/actions/.github/workflows/docs-man.yml@v1 |
| with: |
| submodules: true |