[check-symbols] Don't run c++filt For adding to ignore list, we want to see the original symbol name. One can always c++filt themselves.
2025-03-07T21:19:09