Arseny Kapoulkine 3d142c1d80 Cleanup benchmark builds a little bit ... We don't need to run any cachegrind benchmarks in benchmark-dev, since benchmark uses our new callgrind setup instead. Also removes prototyping filters that we no longer need from all builds.		2022-09-29 15:30:51 -07:00
..
ISSUE_TEMPLATE	Update config.yml	2021-11-08 15:01:57 -08:00
workflows	Cleanup benchmark builds a little bit	2022-09-29 15:30:51 -07:00
codecov.yml	Update coverage report to codecov (#606)	2022-07-20 15:12:30 -07:00