Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
have a travis job that makes sure benchmarks don't break #54176
If I get your point,
I saved myself with that when fought with my "dirty" local machine.