Skip to content

DB structure/remove unnecessary labels field #1191

DB structure/remove unnecessary labels field

DB structure/remove unnecessary labels field #1191

Triggered via pull request November 17, 2024 10:41
@PragTobPragTob
synchronize #413
db-structure
Status Success
Total duration 2m 19s
Artifacts
build_deps
9s
build_deps
check_mix_test
1m 48s
check_mix_test
check_mix_format
56s
check_mix_format
check_mix_gettext_extract_up_to_date
1m 0s
check_mix_gettext_extract_up_to_date
check_mix_sobelow
58s
check_mix_sobelow
check_mix_credo
57s
check_mix_credo
Fit to window
Zoom out
Zoom in