Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Automatic toolchain upgrade to nightly-2024-05-16 #3189

Merged
merged 2 commits into from
May 16, 2024

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2024-05-15 to nightly-2024-05-16 without any other source changes.
This is an automatically generated pull request. If any of the CI checks fail, manual intervention is required. In such a case, review the changes at https://github.com/rust-lang/rust from rust-lang/rust@8387315 up to rust-lang/rust@1871252. The log for this commit range is:
rust-lang/rust@1871252fc8 Auto merge of #125164 - fmease:rollup-s5vwzlg, r=fmease
rust-lang/rust@734a109998 Rollup merge of #125159 - fmease:allow-unauth-labels-l-pg-z, r=jieyouxu
rust-lang/rust@601e5d199f Rollup merge of #125154 - FractalFir:fnabi_doc, r=compiler-errors
rust-lang/rust@09156291e5 Rollup merge of #125146 - Oneirical:panic-impl, r=jieyouxu
rust-lang/rust@80f991e09b Rollup merge of #125142 - GuillaumeGomez:migrate-rustdoc-themes, r=jieyouxu
rust-lang/rust@c5b17ec9d2 Rollup merge of #125003 - RalfJung:aligned_alloc, r=cuviper
rust-lang/rust@257d222e4b Improved the documentation of the FnAbi struct
rust-lang/rust@72a48fc68c Allow unauthenticated users to modify L-*, PG-* and -Z* labels
rust-lang/rust@b21b74b5e6 Auto merge of #125134 - compiler-errors:negative-traits-are-not-notable, r=fmease
rust-lang/rust@a7484d2e49 fix tidy
rust-lang/rust@cae17ff42b rewrite panic-impl-transitive
rust-lang/rust@ade234d574 Auto merge of #125144 - fmease:rollup-4uft293, r=fmease
rust-lang/rust@8d38f2fb11 Rollup merge of #125137 - RalfJung:mir-sh, r=scottmcm
rust-lang/rust@2659ff3882 Rollup merge of #125104 - Oneirical:test6, r=jieyouxu
rust-lang/rust@4f7d9d4ad8 Rollup merge of #125038 - ivan-shrimp:checked_sub, r=joboet
rust-lang/rust@2804d4223b Rollup merge of #125027 - Oneirical:c-test-with-remove, r=jieyouxu
rust-lang/rust@2e70bea168 Rollup merge of #124975 - lu-zero:move_file, r=clubby789
rust-lang/rust@3873a74f8a Rollup merge of #124307 - reitermarkus:escape-debug-size-hint-inline, r=joboet
rust-lang/rust@3cb0030fe9 Auto merge of #123413 - petrochenkov:delegmulti2, r=fmease
rust-lang/rust@c765480efe Migrate run-make/rustdoc-themes to new rmake
rust-lang/rust@c87ae947eb Add new htmldocck function to run-make-support
rust-lang/rust@a71c3ffce9 Auto merge of #125032 - compiler-errors:crash-dump-dir, r=onur-ozkan
rust-lang/rust@0afd50e852 MIR operators: clarify Shl/Shr handling of negative offsets
rust-lang/rust@44fa5fd39a Auto merge of #125136 - matthiaskrgr:rollup-ljm15m3, r=matthiaskrgr
rust-lang/rust@5f1a120ee5 Rollup merge of #125135 - chenyukang:yukang-fix-116502, r=compiler-errors
rust-lang/rust@f7c2934420 Rollup merge of #125132 - mejrs:diag, r=compiler-errors
rust-lang/rust@a8ff937b07 Rollup merge of #125108 - Zalathar:info-bitmap-bytes, r=nnethercote
rust-lang/rust@03ff673dcc Rollup merge of #124990 - fmease:expand-weak-aliases-within-cts, r=compiler-errors
rust-lang/rust@75895f59b0 Fix the dedup error because of spans from suggestion
rust-lang/rust@9e7aff7945 Auto merge of #125031 - Oneirical:dynamic-libs, r=jieyouxu
rust-lang/rust@8994840f7e rustdoc: Negative impls are not notable
rust-lang/rust@91a3f04a3f fix the test
rust-lang/rust@0160bff4b1 Auto merge of #125084 - Jules-Bertholet:fix-125058, r=Nadrieril
rust-lang/rust@c30b41012d delegation: Implement list delegation
rust-lang/rust@18d7411719 Add on_unimplemented" typo suggestions https://github.com/rust-lang/rust/commit/81f7e54962 Port issue-11908 to rmake https://github.com/rust-lang/rust/commit/1f61cc3078 port no-cdylib-as-rdylib test https://github.com/rust-lang/rust/commit/b1e5e5161a remove cxx_flags https://github.com/rust-lang/rust/commit/1f5837ae25 rewrite c-link-to-rust-staticlib https://github.com/rust-lang/rust/commit/5cc020d3df avoid using aligned_alloc; posix_memalign is better-behaved https://github.com/rust-lang/rust/commit/c81be68fb4 coverage: Remove confusing comments from CoverageKindhttps://github.com/rust-lang/rust/commit/bfadc3a9b9 coverage:CoverageIdsInfo::mcdc_bitmap_bytesis never needed https://github.com/rust-lang/rust/commit/fe8f66e4bcrustc_hir_typeck: Account for skipped_ref_patsinexpr_use_visitorhttps://github.com/rust-lang/rust/commit/4db00fe229 Use an helper to move the files https://github.com/rust-lang/rust/commit/7fde7308bf reverse condition inuN::checked_subhttps://github.com/rust-lang/rust/commit/848f3c2c6e Make crashes dump mir to build dir https://github.com/rust-lang/rust/commit/35a5be2833 Also expand weak alias tys inside consts insideexpand_weak_alias_tyshttps://github.com/rust-lang/rust/commit/4edf12d33e Improve escape methods. https://github.com/rust-lang/rust/commit/16981ba406 Avoid panicking branch inEscapeIterInner. https://github.com/rust-lang/rust/commit/e3fc97be2b Inline EscapeDebug::size_hint`.

@github-actions github-actions bot requested a review from a team as a code owner May 16, 2024 02:58
@zhassan-aws zhassan-aws reopened this May 16, 2024
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label May 16, 2024
Copy link
Contributor

@zhassan-aws zhassan-aws left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The usual benchcomp failure (random::tests::gen_range_biased_test). Merging.

@zhassan-aws zhassan-aws merged commit 695bdfc into main May 16, 2024
32 of 33 checks passed
@zhassan-aws zhassan-aws deleted the toolchain-2024-05-16 branch May 16, 2024 05:44
tautschnig added a commit to tautschnig/kani that referenced this pull request Jun 4, 2024
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml -exec
sed -i 's/version = "0.51.0"/version = "0.52.0"/' {} \;`) and ran `cargo
build-dev` to have `Cargo.lock` files updated.

GitHub generated release notes:

 ## What's Changed
* Bump tests/perf/s2n-quic from `6dd41e0` to `bd37960` by @dependabot in model-checking#3178
* Automatic cargo update to 2024-05-13 by @github-actions in model-checking#3177
* Upgrade toolchain to 2024-04-22 by @zhassan-aws in model-checking#3171
* Upgrade toolchain to 2024-05-14 by @zhassan-aws in model-checking#3183
* Automatic toolchain upgrade to nightly-2024-05-15 by @github-actions in model-checking#3185
* Include `--check-cfg=cfg(kani)` in the rust flags to avoid a warning about an unknown `cfg`. by @zhassan-aws in model-checking#3187
* Automatic toolchain upgrade to nightly-2024-05-16 by @github-actions in model-checking#3189
* Perform cargo update because of yanked libc version by @zhassan-aws in model-checking#3192
* Automatic toolchain upgrade to nightly-2024-05-17 by @github-actions in model-checking#3191
* Automatic cargo update to 2024-05-20 by @github-actions in model-checking#3195
* Bump tests/perf/s2n-quic from `bd37960` to `f5d9d74` by @dependabot in model-checking#3196
* New section about linter configuraton checking in the doc. by @remi-delmas-3000 in model-checking#3198
* Automatic cargo update to 2024-05-27 by @github-actions in model-checking#3201
* Bump tests/perf/s2n-quic from `f5d9d74` to `d03cc47` by @dependabot in model-checking#3202
* Update Rust toolchain from nightly-2024-05-17 to nightly-2024-05-23 by @remi-delmas-3000 in model-checking#3199
* Fix `{,e}println!()` by @GrigorenkoPV in model-checking#3209
* Contracts for a few core functions by @celinval in model-checking#3107
* Don't crash benchcomp when rounding non-numeric values by @karkhaz in model-checking#3211
* Update Rust toolchain nightly-2024-05-24 by @qinheping in model-checking#3212
* Upgrade Rust toolchain nightly-2024-05-27  by @qinheping in model-checking#3215
* Automatic toolchain upgrade to nightly-2024-05-28 by @github-actions in model-checking#3217
* Automatic cargo update to 2024-06-03 by @github-actions in model-checking#3220
* Bump tests/perf/s2n-quic from `d03cc47` to `d90729d` by @dependabot in model-checking#3222
* Add simple API for shadow memory by @zhassan-aws in model-checking#3200

 ## New Contributors
* @GrigorenkoPV made their first contribution in model-checking#3209

**Full Changelog**: model-checking/kani@kani-0.51.0...kani-0.52.0
tautschnig added a commit that referenced this pull request Jun 4, 2024
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml
-exec sed -i 's/version = "0.51.0"/version = "0.52.0"/' {} \;`) and ran
`cargo build-dev` to have `Cargo.lock` files updated.

GitHub generated release notes:

 ## What's Changed
* Bump tests/perf/s2n-quic from `6dd41e0` to `bd37960` by @dependabot in
#3178
* Automatic cargo update to 2024-05-13 by @github-actions in
#3177
* Upgrade toolchain to 2024-04-22 by @zhassan-aws in
#3171
* Upgrade toolchain to 2024-05-14 by @zhassan-aws in
#3183
* Automatic toolchain upgrade to nightly-2024-05-15 by @github-actions
in #3185
* Include `--check-cfg=cfg(kani)` in the rust flags to avoid a warning
about an unknown `cfg`. by @zhassan-aws in
#3187
* Automatic toolchain upgrade to nightly-2024-05-16 by @github-actions
in #3189
* Perform cargo update because of yanked libc version by @zhassan-aws in
#3192
* Automatic toolchain upgrade to nightly-2024-05-17 by @github-actions
in #3191
* Automatic cargo update to 2024-05-20 by @github-actions in
#3195
* Bump tests/perf/s2n-quic from `bd37960` to `f5d9d74` by @dependabot in
#3196
* New section about linter configuraton checking in the doc. by
@remi-delmas-3000 in #3198
* Automatic cargo update to 2024-05-27 by @github-actions in
#3201
* Bump tests/perf/s2n-quic from `f5d9d74` to `d03cc47` by @dependabot in
#3202
* Update Rust toolchain from nightly-2024-05-17 to nightly-2024-05-23 by
@remi-delmas-3000 in #3199
* Fix `{,e}println!()` by @GrigorenkoPV in
#3209
* Contracts for a few core functions by @celinval in
#3107
* Don't crash benchcomp when rounding non-numeric values by @karkhaz in
#3211
* Update Rust toolchain nightly-2024-05-24 by @qinheping in
#3212
* Upgrade Rust toolchain nightly-2024-05-27 by @qinheping in
#3215
* Automatic toolchain upgrade to nightly-2024-05-28 by @github-actions
in #3217
* Automatic cargo update to 2024-06-03 by @github-actions in
#3220
* Bump tests/perf/s2n-quic from `d03cc47` to `d90729d` by @dependabot in
#3222
* Add simple API for shadow memory by @zhassan-aws in
#3200

 ## New Contributors
* @GrigorenkoPV made their first contribution in
#3209

**Full Changelog**:
kani-0.51.0...kani-0.52.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants