Update cargo-miri test

This commit is contained in:
hyd-dev 2021-08-04 16:46:11 +08:00
parent 99ec9c1707
commit dced6b8518
No known key found for this signature in database
GPG Key ID: 74FA7FD5B8DA14B8
2 changed files with 2 additions and 5 deletions

View File

@ -1 +1 @@
3227e35765bab6d02c581928e26ad1d34bacf394
71ff9b41e9ebd3e336019513917a7a8868d1cc66

View File

@ -11,9 +11,6 @@ test result: ok. 6 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out
running 3 tests
test src/lib.rs - make_true (line 2) ... ok
test src/lib.rs - make_true (line 5) - compile ... ok
test src/lib.rs - make_true (line 8) - compile fail ... ok
...
test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in $TIME