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:
- changed-files:
- any-glob-to-any-file:
- "docs/**"
- "projektdokumentation/**"