Skip to content

ci: Warn on unused disabled directives#10610

Merged
lforst merged 1 commit intodevelopfrom
lforst-warn-on-unused-disabled-directives
Feb 12, 2024
Merged

ci: Warn on unused disabled directives#10610
lforst merged 1 commit intodevelopfrom
lforst-warn-on-unused-disabled-directives

Commits

Commits on Feb 12, 2024

  • author
    Luca Forstner
    committed