ac3f7ab712
We don't get much value from these, we can always run criterion or valgrind locally. If we want to measure instruction counts, we should be using codspeed.io instead because they support visualizing and tracking over time. If we want to track performance over time we should be using Kevin's perf monitor machine.