Update chen for improved performance with header analysis#88

Merged

prabhu merged 3 commits intomainfrom feature/tune-cpp

Nov 2, 2023

+24-9

Commits on Nov 1, 2023

Commits on Nov 2, 2023

Wrap atom close which seems to be failing with concurrent modification exception in CI
prabhu
committed