9 commits

Author	SHA1	Message	Date
Jonathan Kelley	d82b2f226f	Kill previous CI jobs when new pushed	2023-07-19 12:50:28 -07:00
Jonathan Kelley	b9794aaad4	Only run miri for changed files	2023-07-19 09:54:54 -07:00
Evan Almloff	78f45b1518	don't run miri workflow on draft PRs	2023-02-07 21:12:34 -06:00
Jonathan Kelley	6d24fc3a6f	ci: make CI pass for miri	2023-01-10 18:08:41 -08:00
Jonathan Kelley	8df6be9508	wip: add more flags to env for CI	2023-01-10 18:01:52 -08:00
Jonathan Kelley	6cc4dac3a3	wip: use tokios runtime	2023-01-10 17:57:38 -08:00
Jonathan Kelley	7a0c00ab6f	fix: dont install master miri	2022-12-30 14:47:06 -05:00
Jonathan Kelley	b351345db9	chore: use miri on native-core too	2022-12-30 14:45:45 -05:00
Jonathan Kelley	0d95568972	chore: add miri and windows test	2022-12-30 14:34:44 -05:00