this is the best tool I've ever used for detecting race conditions in c/c++ code, it's great to see it has a github action now. look forward to their open source!