chore: Fix labels for docs #315

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

1 commit

Author SHA1 Message Date
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