mirrors/salsa
1
0
Fork 0
mirror of https://github.com/salsa-rs/salsa.git synced 2025-02-08 21:35:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
salsa/.github
History
DropDemBits e8fe17e638
Only execute miri on the salsa-2022 packages 
These don't need to disable isolation so the `-Zmiri-isolation-error` flag can be removed.
2023-11-10 19:41:30 -05:00
..
workflows Only execute miri on the salsa-2022 packages 2023-11-10 19:41:30 -05:00