diff options
| author | Ralf Jung <post@ralfj.de> | 2025-05-31 06:22:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-31 06:22:44 +0000 |
| commit | c37010f8d6ad69244bf81b5c56e30a703c2cd932 (patch) | |
| tree | 7d4dbba6ae73ff666bb46ef14a29a6057bc0e58e | |
| parent | 49a99cb81b8bcd6d17451f48813c14f2a2092b7a (diff) | |
| parent | 669ebcad1270cda1e26e891812b6d853651fa21f (diff) | |
| download | rust-c37010f8d6ad69244bf81b5c56e30a703c2cd932.tar.gz rust-c37010f8d6ad69244bf81b5c56e30a703c2cd932.zip | |
Merge pull request #4361 from nia-e/remove-oopsie
Remove useless file
| -rw-r--r-- | src/tools/miri/no_alloc | 46 |
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 |