Commit graph

2 commits

Author SHA1 Message Date
Jonathan Kelley
c4a18bc24d chore: clean up some clippy warnings and add clippy lints to CI 2023-01-11 16:13:41 -08:00
Jonathan Kelley
b351345db9 chore: use miri on native-core too 2022-12-30 14:45:45 -05:00