Rename workflow file for documentation CI process

This commit is contained in:
jirka 2026-01-16 18:51:30 +01:00
parent 09de0f4f06
commit 47e6a4bc88
1 changed files with 0 additions and 0 deletions