ci: rename docs_publish workflow

Signed-off-by: Paul Meyer <[email protected]>
edgelesssys · Mar 13, 2024 · 2e0bbd2 · 2e0bbd2
1 parent cbc326e
commit 2e0bbd2
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/publish_docs.yml → .github/workflows/docs_publish.yml b/.github/workflows/publish_docs.yml → .github/workflows/docs_publish.yml