I wanted to get #3722 merged to ensure that the extensive C++ fixes don't become hard to merge. Nonetheless, the PR introduced a new clang-tidy workflow - could this be potentially be merged into another workflow?