Skip to content

Upgrade toolchain to 2024-09-12 - #3524

Merged
tautschnig merged 2 commits into
model-checking:mainfrom
qinheping:toolchain
Sep 18, 2024
Merged

Upgrade toolchain to 2024-09-12#3524
tautschnig merged 2 commits into
model-checking:mainfrom
qinheping:toolchain

Conversation

@qinheping

Copy link
Copy Markdown
Contributor

Relevant upstream PR:

rust-lang/rust@d2309c2a9d Ban non-array SIMD

Resolves#3521

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 18, 2024 01:06
@github-actionsgithub-actionsBot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Sep 18, 2024
@tautschnig
tautschnig added this pull request to the merge queueSep 18, 2024
Merged via the queue into model-checking:main with commit d2051b7Sep 18, 2024
@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-12 failed

2 participants

@qinheping@tautschnig