Skip to content

Conversation

@dtolnay
Copy link
Owner

@dtolnay dtolnay commented Jun 29, 2022

This speeds up any subsequent miri invocation by 1m 37s. Previously they used to compile xargo from source on first run of cargo miri.

Running `"/home/runner/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/bin/cargo" "install" "xargo"` to install a recent enough xargo.
    Updating crates.io index
 Downloading crates ...
  Downloaded xargo v0.3.26
  Installing xargo v0.3.26
.....
    Finished release [optimized] target(s) in 1m 37s
  Installing /home/runner/.cargo/bin/xargo
  Installing /home/runner/.cargo/bin/xargo-check
   Installed package `xargo v0.3.26` (executables `xargo`, `xargo-check`)

dtolnay/semver#283

@dtolnay dtolnay merged commit 6f4de0a into master Jun 29, 2022
@dtolnay dtolnay deleted the xargo branch June 29, 2022 17:31
dtolnay added a commit to dtolnay/semver that referenced this pull request Jun 29, 2022
MiscStuff839 pushed a commit to MiscStuff839/semver that referenced this pull request Apr 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants