ci: adjust extension of docs workflow

brotkrueml · Nov 22, 2024 · aa8d804 · aa8d804
1 parent 3a379d7
commit aa8d804
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/docs.yaml → .github/workflows/docs.yml b/.github/workflows/docs.yaml → .github/workflows/docs.yml