Skip to content
🔗 GHA

Improve usage of String.split() vs get_slice() #69522

Sign in to view logs

Improve usage of String.split() vs get_slice()

Improve usage of String.split() vs get_slice() #69522

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

🐧 Linux / Editor with doubles and GCC sanitizers (target=editor, dev_build=yes, scu_build=yes, precision=double, use_asan=yes, use_ubsan=yes, linker=mold)
succeeded Sep 19, 2025 in 50m 29s