Bypass miri interactive prompts

This commit is contained in:
David Tolnay
2020-04-23 02:57:20 -07:00
parent 5daf7657f8
commit dd5368bb7f
+1
View File
@@ -20,4 +20,5 @@ matrix:
name: Miri
script:
- rustup component add miri || travis_terminate 0
- cargo miri setup
- cargo miri test