Gate bors on Miri

CAD97 · Mar 19, 2020 · b26e32e · b26e32e
1 parent e570134
commit b26e32e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bors.toml b/bors.toml
@@ -3,6 +3,7 @@ delete-merged-branches = true
 
 status = [
   "Clippy",
+  "Miri",
   "MSRV Tests",
   "Rustfmt",
   "Tests",