| Davide Pesavento | e8c82ef | 2021-07-28 02:38:51 -0400 | [diff] [blame] | 1 | name: Docs |
| 2 | on: | ||||
| 3 | push: | ||||
| Davide Pesavento | e8c82ef | 2021-07-28 02:38:51 -0400 | [diff] [blame] | 4 | workflow_dispatch: |
| 5 | |||||
| Davide Pesavento | c2297b1 | 2023-02-08 13:22:22 -0500 | [diff] [blame^] | 6 | permissions: {} |
| Davide Pesavento | c434323 | 2021-08-13 23:17:05 -0400 | [diff] [blame] | 7 | |
| Davide Pesavento | e8c82ef | 2021-07-28 02:38:51 -0400 | [diff] [blame] | 8 | jobs: |
| Davide Pesavento | c2297b1 | 2023-02-08 13:22:22 -0500 | [diff] [blame^] | 9 | man: |
| 10 | uses: named-data/actions/.github/workflows/docs-man.yml@v1 | ||||