Commit graph

7 commits

Author SHA1 Message Date
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