Files
Davide Pesavento 02ed332ddd docs: update several URLs to point to docs.named-data.net
Change-Id: If000753573c6a50130dc3101a411b6d482ccf3ed
2023-02-23 19:40:22 -05:00

22 lines
540 B
YAML

name: Docs
on:
push:
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:
# Deploy only the master branch and release tags
deploy: ${{ !inputs.skip-deploy && (github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/ndn-cxx-')) }}
secrets: inherit
man:
uses: named-data/actions/.github/workflows/docs-man.yml@v1