Add docs build CI workflow - #5418
Open
mithr4ndir wants to merge 2 commits into
Open
Mergeable / Mergeable
succeeded
Apr 10, 2026 in 10s
Mergeable Run has been Completed!
All the validators have returned 'pass'!
Here are some stats of the run:
2 validations were ran
Loading