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 ad1566986c
No known key found for this signature in database
GPG key ID: 4F91844CED1A8299