Commit Graph

4 Commits

Author SHA1 Message Date
Ralf Jung fdb73f8497 manually clean up leaked Boxes, to enable Miri's leak checker 2020-04-11 09:10:43 +02:00
Ralf Jung d8e1988ce2 ignore memory leaks 2019-12-09 18:16:07 +01:00
Ralf Jung 289606f1d8 Miri now supports catching panics 2019-12-06 09:41:14 +01:00
Thom Chiovoloni d90eb57e87 Run miri in CI, and bump MSRV 2019-10-18 11:22:23 -07:00