Skip to content
🔗 GHA

Merge pull request #708 from Majoramari/docs-redot-rename #467

Sign in to view logs

Merge pull request #708 from Majoramari/docs-redot-rename

Merge pull request #708 from Majoramari/docs-redot-rename #467

🐧 Linux  /  Editor with clang sanitizers (target=editor, tests=yes, dev_build=yes, use_asan=yes, use_ubsan=yes, use_llvm=yes, linker=lld)

🐧 Linux / Editor with clang sanitizers (target=editor, tests=yes, dev_build=yes, use_asan=yes, use_ubsan=yes, use_llvm=yes, linker=lld)
succeeded Oct 15, 2024 in 37m 20s