Remove outdated labels

Generators/HTML: only display a TOC when there is more than one doc #542

Sign in to view logs

Triggered via pull request November 22, 2024 16:05

jrfnl

closed #697

Status Success

Total duration 1m 2s

Artifacts –

label-remove-outdated.yml

on: pull_request_target

Clean up labels on issue close

Clean up labels on PR merge

Clean up labels on PR close