Skip to content

Upgrade toolchain to 2024-09-15 - #3531

Merged
qinheping merged 5 commits into
model-checking:mainfrom
qinheping:toolchain
Sep 22, 2024
Merged

Upgrade toolchain to 2024-09-15#3531
qinheping merged 5 commits into
model-checking:mainfrom
qinheping:toolchain

Conversation

@qinheping

Copy link
Copy Markdown
Contributor

Relevant upstream PR:

rust-lang/rust@60ee1b7ac6 simd_shuffle: require index argument to be a vector

Resolves#3530

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@qinheping
qinheping requested a review from a team as a code ownerSeptember 22, 2024 06:44
@github-actionsgithub-actionsBot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Sep 22, 2024
@qinheping
qinheping added this pull request to the merge queueSep 22, 2024
Merged via the queue into model-checking:main with commit 7be4c22Sep 22, 2024
@qinheping
qinheping deleted the toolchain branch September 22, 2024 09:56
@celinvalcelinval mentioned this pull request Oct 8, 2024
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-EndToEndBenchCITag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Toolchain upgrade to nightly-2024-09-15 failed

2 participants

@qinheping@tautschnig