fix: Skip docs verification for closed pull requests - #522
Merged
Marius Storhaug (MariusStorhaug) merged 1 commit intoAug 15, 2026
GitHub Advanced Security / CodeQL
succeeded
Aug 15, 2026 in 1s
No new alerts in code changed by this pull request
Loading