Feature and motivation

To troubleshoot SM in complex error cases, it is interesting to capture the backtrace. But to do that, the SM binaries have to be created, including the debug symbols. Since these binaries are much larger than the default release artifacts, we can generate them on demand with GH Actions.

Usage example

These binaries will be used to troubleshoot problems that users report, e.g., as in #12828.