| Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 1 | name: Docs |
| 2 | on: |
| 3 | push: |
| Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 4 | workflow_dispatch: |
| Davide Pesavento | 46bac78 | 2023-02-19 20:32:24 -0500 | [diff] [blame] | 5 | inputs: |
| 6 | skip-deploy: |
| 7 | description: 'Skip deployment?' |
| 8 | required: true |
| 9 | type: boolean |
| Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 10 | |
| Davide Pesavento | 46bac78 | 2023-02-19 20:32:24 -0500 | [diff] [blame] | 11 | permissions: {} |
| Davide Pesavento | 8dce194 | 2021-10-02 22:31:26 -0400 | [diff] [blame] | 12 | |
| 13 | jobs: |
| Davide Pesavento | 46bac78 | 2023-02-19 20:32:24 -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/0.')) }} |
| 19 | secrets: inherit |