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 88f452558e
commit c6d0a96c84