Add option to delete user profile in Profile Selector (adds #38243) #42999
Triggered via pull request
September 18, 2024 14:49
Status
Failure
Total duration
7m 37s
Artifacts
–
code_layout.yml
on: pull_request
documentation_checks
2m 32s
license_check
1m 39s
shell_check
51s
banned_keywords_check
56s
class_name_check
55s
def_window_title_check
54s
qgsscrollarea_check
51s
qvariant_no_brace_init
49s
qt_module_wide_imports
51s
doxygen_layout_check
56s
indentation_check
59s
spell_check
7m 28s
sip_check
6m 21s
cppcheck
2m 40s
Annotations
1 error and 1 warning
spell_check
Process completed with exit code 1.
|
spell_check
Unable to find merge base between fce8f62ea101f90c1101727dbc762ebbd8f68653 and 7a44d29ded20dc4f7c859aeee68b6baded51461a
|