Ralf Jung 9ed6941a51 run miri on CI

2019-11-16 09:52:18 +01:00

..

serde.rs

TEST: Update .travis for serde-1 to serde rename

2019-09-25 14:46:32 +02:00

tests.rs

run miri on CI

2019-11-16 09:52:18 +01:00