Skip to content

Commit

Permalink
Auto merge of rust-lang#2263 - wesleywiser:update_measureme, r=RalfJung
Browse files Browse the repository at this point in the history
Update measureme to the latest version

The major version number is different due to changes to the on-disk recording format but the core API is the same and miri continues to build on the latest version.
  • Loading branch information
bors committed Jun 24, 2022
2 parents dcaa7a7 + 2f97507 commit a1226c4
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ smallvec = "1.7"
# See the `src/tools/rustc-workspace-hack/README.md` file in `rust-lang/rust`
# for more information.
rustc-workspace-hack = "1.0.0"
measureme = "9.1.2"
measureme = "10.0.0"

# Enable some feature flags that dev-dependencies need but dependencies
# do not. This makes `./miri install` after `./miri build` faster.
Expand Down

0 comments on commit a1226c4

Please sign in to comment.