Skip to content
🔗 GHA

Remove prompt to restart editor after changing custom theme #48886

Sign in to view logs

Remove prompt to restart editor after changing custom theme

Remove prompt to restart editor after changing custom theme #48886

🐧 Linux  /  Editor with doubles and GCC sanitizers (target=editor, tests=yes, dev_build=yes, scu_build=yes, precision=double, use_asan=yes, use_ubsan=yes, linker=gold)

🐧 Linux / Editor with doubles and GCC sanitizers (target=editor, tests=yes, dev_build=yes, scu_build=yes, precision=double, use_asan=yes, use_ubsan=yes, linker=gold)
succeeded Dec 28, 2024 in 11m 18s