chore: Fix labels for docs #315

Merged
jank merged 1 commit from docs/labels into main 2025-06-12 07:30:45 +00:00

View file

@ -16,4 +16,5 @@ ci:
docs: docs:
- changed-files: - changed-files:
- any-glob-to-any-file: - any-glob-to-any-file:
- "docs/**" - "projektdokumentation/**"