search

rust-lang / rust

Empowering everyone to build reliable and efficient software.
https://www.rust-lang.org
Other
93.58k stars 12.05k forks source link

Miri subtree update #124754

Closed RalfJung closed 1 week ago

RalfJung commented 1 week ago

r? @ghost

rustbot commented 1 week ago

The Miri subtree was changed

cc @rust-lang/miri

These commits modify the Cargo.lock file. Unintentional changes to Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged. Otherwise, you can ignore this comment.

RalfJung commented 1 week ago

@bors r+ p=1

bors commented 1 week ago

:pushpin: Commit ba94910afd668d2686cddc980ad19dc978a52f26 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 week ago

:hourglass: Testing commit ba94910afd668d2686cddc980ad19dc978a52f26 with merge 872a85658d13fc424df0c88b1db7973e62d6944e...

bors commented 1 week ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 872a85658d13fc424df0c88b1db7973e62d6944e to master...

rust-timer commented 1 week ago

Finished benchmarking commit (872a85658d13fc424df0c88b1db7973e62d6944e): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment. | | mean | range | count | |:----------------------------------:|:-----:|:--------------:|:-----:| | Regressions ❌
(primary) | - | - | 0 | | Regressions ❌
(secondary) | - | - | 0 | | Improvements ✅
(primary) | -1.7% | [-2.3%, -1.1%] | 2 | | Improvements ✅
(secondary) | - | - | 0 | | All ❌✅ (primary) | -1.7% | [-2.3%, -1.1%] | 2 |

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 674.302s -> 675.62s (0.20%) Artifact size: 315.92 MiB -> 315.94 MiB (0.01%)