Deletion of a toolchain does not work
From the toolchain specific
page, it is currently impossible to delete a private/non-used toolchain.
This causes a JS error ReferenceError: platform is not defined
.
In contrast, this is working well from the toolchain list
page