chore: Fix labels for docs #315

Merged
jank merged 1 commit from docs/labels into main 2025-06-12 07:30:45 +00:00
Showing only changes of commit 9ebf0d0036 - Show all commits

View file

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