Skip to content

Development: Move rarely-populated special-case columns out of jhi_user #31180

Development: Move rarely-populated special-case columns out of jhi_user

Development: Move rarely-populated special-case columns out of jhi_user #31180

Triggered via pull request August 25, 2026 14:12
@kruschekrusche
synchronize #13546
Status Success
Total duration 1m 51s
Artifacts

validate-pr-description.yml

on: pull_request_target
validate-pr-description
4s
validate-pr-description
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
validate-pr-description
Testing steps quality check skipped: AI service unavailable
validate-pr-description
Description quality check skipped: AI service unavailable
validate-pr-description
Motivation quality check skipped: AI service unavailable