[ISSUE] Failed to launch OpenOCD GDB Server: Timeout

as of Workbench v1.5.0, this should be resolved - if you’ve disabled automatic updates for extensions, go ahead and re-enable them and you should see the update download and install :+1: