Skip to content

DB structure/remove unnecessary labels field #1207

DB structure/remove unnecessary labels field

DB structure/remove unnecessary labels field #1207

Triggered via pull request November 20, 2024 14:45
Status Success
Total duration 2m 26s
Artifacts
build_deps
14s
build_deps
check_mix_test
1m 52s
check_mix_test
check_mix_format
54s
check_mix_format
check_mix_gettext_extract_up_to_date
58s
check_mix_gettext_extract_up_to_date
check_mix_sobelow
54s
check_mix_sobelow
check_mix_credo
54s
check_mix_credo
Fit to window
Zoom out
Zoom in