Skip to content
Documentation CI

Documentation: Publish a Docusaurus site, update the LICENCE and add the missing governance files #37

Sign in to view logs

Documentation: Publish a Docusaurus site, update the LICENCE and add the missing governance files

Documentation: Publish a Docusaurus site, update the LICENCE and add the missing governance files #37

Workflow file for this run

.github/workflows/documentation-ci.yml at 6655da9
# Pull request validation for the documentation site.
#
# Builds documentation/ without publishing anything, so a broken link, a stale PlantUML render
# or a type error is caught on the pull request rather than on the deploy.
name: Documentation CI
on:
pull_request:
branches: [ "main" ]
paths:
- 'documentation/**'
- '.github/workflows/documentation.yml'
- '.github/workflows/documentation-ci.yml'
push:
branches: [ "main" ]
paths:
- 'documentation/**'
- '.github/workflows/documentation.yml'
- '.github/workflows/documentation-ci.yml'
workflow_dispatch:
permissions: {}
concurrency:
group: documentation-ci-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
jobs:
documentation:
uses: ./.github/workflows/documentation.yml
permissions:
contents: read
with:
upload_pages_artifact: false