Merge pull request 'chore: Fix labels for docs' (!315) from docs/labels into main
All checks were successful
Build docs / build-docs (push) Successful in 20s

Reviewed-on: #315
This commit is contained in:
Jan K9f 2025-06-12 07:30:44 +00:00
commit c87a0593b3
No known key found for this signature in database
GPG key ID: 944223E4D46B7412

View file

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