Commit Graph

2 Commits

Author SHA1 Message Date
Ralf Jung 7ae9e2cd1f Miri now supports catching panics 2019-12-06 09:43:14 +01:00
Ralf Jung 9ed6941a51 run miri on CI 2019-11-16 09:52:18 +01:00