Arseny Kapoulkine 937ef2efd4 Cleanup benchmark builds a little bit (#691) ... 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:42:23 -07:00
..
ISSUE_TEMPLATE	Update config.yml	2021-11-08 15:01:57 -08:00
workflows	Cleanup benchmark builds a little bit (#691)	2022-09-29 15:42:23 -07:00
codecov.yml	Update coverage report to codecov (#606)	2022-07-20 15:12:30 -07:00