1 files changed, 0 insertions, 46 deletions
diff --git a/src/tools/miri/no_alloc b/src/tools/miri/no_alloc
deleted file mode 100644
index 89e333c15dd..00000000000
--- a/src/tools/miri/no_alloc
+++ /dev/null
@@ -1,46 +0,0 @@
-{
-  "backtraces": {
-    "mean": 2.3829520464,
-    "stddev": 0.07651981051526706
-  },
-  "big-allocs": {
-    "mean": 0.1673647059473684,
-    "stddev": 0.013478818300072831
-  },
-  "mse": {
-    "mean": 0.8133679916000001,
-    "stddev": 0.050075600632164104
-  },
-  "range-iteration": {
-    "mean": 4.243566763599999,
-    "stddev": 0.03380701243732224
-  },
-  "serde1": {
-    "mean": 2.589135003,
-    "stddev": 0.0700829518878718
-  },
-  "serde2": {
-    "mean": 5.955532229,
-    "stddev": 0.20599769835375004
-  },
-  "slice-chunked": {
-    "mean": 0.4702839168333333,
-    "stddev": 0.017522346103318015
-  },
-  "slice-get-unchecked": {
-    "mean": 0.8169163450000001,
-    "stddev": 0.013873697449548328
-  },
-  "string-replace": {
-    "mean": 0.5258388794,
-    "stddev": 0.032950972318742694
-  },
-  "unicode": {
-    "mean": 3.4562345727999997,
-    "stddev": 0.11276913990962134
-  },
-  "zip-equal": {
-    "mean": 3.0626452212,
-    "stddev": 0.0554291549675083
-  }
-}
\ No newline at end of file