Compare commits

..

2 commits

Author SHA1 Message Date
c87a0593b3
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
2025-06-12 07:30:44 +00:00
9ebf0d0036 chore: Fix labels for docs
All checks were successful
CI / Get Changed Files (pull_request) Successful in 20s
CI / eslint (pull_request) Has been skipped
Label PRs based on size / Check PR size (pull_request) Successful in 18s
CI / Backend Tests (pull_request) Has been skipped
CI / oxlint (pull_request) Has been skipped
CI / Checkstyle Main (pull_request) Has been skipped
CI / prettier (pull_request) Has been skipped
CI / Docker frontend validation (pull_request) Has been skipped
Build docs / build-docs (pull_request) Successful in 25s
CI / test-build (pull_request) Has been skipped
CI / Docker backend validation (pull_request) Has been skipped
CI / Playwright (pull_request) Has been skipped
Pull Request Labeler / labeler (pull_request_target) Successful in 13s
Claude PR Review / claude-code (pull_request) Successful in 1m10s
2025-06-12 09:27:30 +02: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/**"