This repository was archived by the owner on Jun 5, 2026. It is now read-only.
ci: fix docs build for archived repo - #644
Merged
Merged
GitHub Advanced Security / CodeQL
succeeded
Jun 5, 2026 in 2s
No new alerts in code changed by this pull request
Loading