Skip to content

DB structure/remove unnecessary labels field #1174

DB structure/remove unnecessary labels field

DB structure/remove unnecessary labels field #1174

Triggered via pull request November 13, 2024 09:21
@PragTobPragTob
synchronize #413
db-structure
Status Success
Total duration 2m 23s
Artifacts
build_deps
11s
build_deps
check_mix_test
1m 55s
check_mix_test
check_mix_format
18s
check_mix_format
check_mix_gettext_extract_up_to_date
19s
check_mix_gettext_extract_up_to_date
check_mix_sobelow
10s
check_mix_sobelow
check_mix_credo
16s
check_mix_credo
Fit to window
Zoom out
Zoom in