7 commits

Author	SHA1	Message	Date
Serial	6562166eb4	Misc: Hide criterion behind a flag to shorten CI time	2022-10-15 10:45:51 -04:00
Alex	ee2e77d9d9	Fix yet another workflow mistake	2022-04-24 19:11:23 -04:00
Serial	03b57bfa2e	Exclude CHANGELOG from workflows	2022-04-24 17:08:13 -04:00
Serial	c8bdee2004	Restrict bench workflow to certain paths	2022-01-02 14:46:32 -05:00
Serial	749f920cf0	Change Criterion output format	2021-12-31 13:36:42 -05:00
Alex	d610d59830	Remove conflicting options	2021-12-31 13:09:19 -05:00
Serial	ced0f06861	Add benchmark workflow	2021-12-31 12:58:39 -05:00