Skip to content

Merge pull request #304 from control-toolbox/empty-vs-set #637

Merge pull request #304 from control-toolbox/empty-vs-set

Merge pull request #304 from control-toolbox/empty-vs-set #637

Workflow file for this run

name: Documentation
on:
push:
branches:
- main
tags: '*'
pull_request:
types: [labeled, opened, synchronize, reopened]
jobs:
call:
if: github.event_name != 'pull_request' || contains(github.event.pull_request.labels.*.name, 'run documentation')
uses: control-toolbox/CTActions/.github/workflows/documentation.yml@main
with:
use_ct_registry: true
secrets:
SSH_KEY: ${{ secrets.SSH_KEY }}