Skip to content
Build

new tool: gui/rename #5230

Sign in to view logs

new tool: gui/rename

new tool: gui/rename #5230

Annotations

1 warning

test  /  ...  /  Test (ubuntu, gcc-12, all plugins, default config)

test / Run Linux test suite (gcc-12, all plugins) / Test (ubuntu, gcc-12, all plugins, default config)
succeeded Jan 3, 2025 in 43s