ci/docs: rename workflow

(cherry picked from commit 91ecff36b6)
This commit is contained in:
Matt Sturgeon 2025-06-12 22:18:33 +01:00
parent d24fbaa7a9
commit eb2260844a