Skip to content

Conversation

@github-actions
Copy link
Contributor

Update Rust toolchain from nightly-2024-04-19 to nightly-2024-04-20 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@e3181b0 up to rust-lang/rust@f9b1614. The log for this commit range is:
rust-lang/rust@f9b1614920 Auto merge of #124170 - matthiaskrgr:rollup-ldopl64, r=matthiaskrgr
rust-lang/rust@f1e536df59 Rollup merge of #124155 - klensy:wrong-rayon-here, r=albertlarsan68
rust-lang/rust@f8afb6314b Rollup merge of #124149 - notriddle:notriddle/desc-alias, r=GuillaumeGomez
rust-lang/rust@26d4b1bfba Rollup merge of #124106 - compiler-errors:tait-lifetime-dedup, r=oli-obk
rust-lang/rust@b1eee427a0 Rollup merge of #123729 - jieyouxu:rmake-refactor-2, r=oli-obk
rust-lang/rust@6c4657c086 Rollup merge of #123571 - WaffleLapkin:properly-adjust-never, r=compiler-errors
rust-lang/rust@ce3263e60e Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obk
rust-lang/rust@d3f927db87 avoid PartialOrd on ScalarInt
rust-lang/rust@d1a0fa5ed3 Auto merge of #118441 - GuillaumeGomez:display-stability-version, r=rustdoc
rust-lang/rust@07d0d7ce3f Auto merge of #123364 - klensy:bs-mixed-types, r=albertlarsan68
rust-lang/rust@42220f0930 ScalarInt: add methods to assert being a (u)int of given size
rust-lang/rust@e5a6d8d0cd Remove old ICE tests that no longer ICE (yay!)
rust-lang/rust@0bbe362901 Correctly change type when adding adjustments on top of NeverToAny
rust-lang/rust@4d749cad25 Add a test for a == b where a: !, b: !
rust-lang/rust@662d276573 Add regression test for issue 120600
rust-lang/rust@43a0686f8d Auto merge of #115253 - donno2048:patch-1, r=albertlarsan68
rust-lang/rust@6612ad796c bootstrap: don't use rayon for sysinfo
rust-lang/rust@c4f112af6e Auto merge of #124123 - flip1995:clippy-subtree-update, r=Manishearth
rust-lang/rust@0ed85d0c8d Auto merge of #124147 - workingjubilee:rollup-7pjnzr6, r=workingjubilee
rust-lang/rust@2e7d9e9acb rustdoc-search: fix description on aliases in results
rust-lang/rust@c8d58faba2 Rollup merge of #124116 - RalfJung:miri-rust-backtrace, r=Nilstrieb
rust-lang/rust@f36ca7a75f Rollup merge of #124110 - beetrees:neg-f16-f128, r=compiler-errors
rust-lang/rust@55c35dd22e Rollup merge of #124019 - ChrisDenton:futex-raw-dylib, r=joboet
rust-lang/rust@2b94e02737 Rollup merge of #123980 - WaffleLapkin:graph-average-refactor, r=wesleywiser
rust-lang/rust@f174c310ae Rollup merge of #123935 - tstsrt:fix-115423, r=oli-obk
rust-lang/rust@0a0a5a956c Rollup merge of #123752 - estebank:emoji-prefix, r=wesleywiser
rust-lang/rust@3831cbb28f Rollup merge of #123406 - krtab:fix_remainder_iterchunk, r=scottmcm
rust-lang/rust@13e63f7490 Auto merge of #117919 - daxpedda:wasm-c-abi, r=wesleywiser
rust-lang/rust@fa0068b541 Auto merge of #124038 - matthiaskrgr:one_or_two_more_tests, r=jieyouxu
rust-lang/rust@523fe2b67b Add tests for predecessor-aware VecGraph mode
rust-lang/rust@1d45b7adaf crashes: add a couple more tests
rust-lang/rust@9028e00dfa Merge commit 'ca3b393750ee8d870bf3215dcf6509cafa5c0445' into clippy-subtree-update
rust-lang/rust@ca3b393750 Auto merge of #12690 - flip1995:rustup, r=flip1995
rust-lang/rust@fca4e16ffb Bump nightly version -> 2024-04-18
rust-lang/rust@846f6e7e00 Merge remote-tracking branch 'upstream/master' into rustup
rust-lang/rust@5e6184cdb7 interpret/binary_int_op: avoid dropping to raw ints until we determined the sign
rust-lang/rust@3e633981ef when suggesting RUST_BACKTRACE=1, add a special note for Miri's env var isolation
rust-lang/rust@e2ab540e37 add rustc-hash
rust-lang/rust@ca67fd6d19 fix lockfile
rust-lang/rust@cc12a1b511 Fix negating f16 and f128 constants
rust-lang/rust@fa6444b050 reset lockfile to head
rust-lang/rust@ffb4206577 Don't repeatedly duplicate TAIT lifetimes for each subsequently nested TAIT
rust-lang/rust@72edac0eb2 allow the tests to pass tidy
rust-lang/rust@e6b386ba2b add tests
rust-lang/rust@9d27cbfaac fix value
rust-lang/rust@473af625db configure for testing
rust-lang/rust@e06f90fc51 format style.rs
rust-lang/rust@8d0870899c separate regex generation
rust-lang/rust@da35c19311 use a function to generate the regex
rust-lang/rust@ca945e9ed8 tests: update cross-lang-lto-riscv-abi to use command wrappers
rust-lang/rust@255bee1777 run-make-support: add clang and llvm-readobj command wrappers
rust-lang/rust@1d929cf8b7 allow to set line-directives-only too
rust-lang/rust@3ea7cf5383 bootstrap: actually allow set debuginfo-level to "lines-tables-only"
rust-lang/rust@cdd6336386 Auto merge of #12682 - cuviper:muopb-asm, r=llogiq
rust-lang/rust@1ba78212ff Auto merge of #12680 - Alexendoo:cargo-dev-setup-toolchain, r=llogiq
rust-lang/rust@432bce6583 Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errors
rust-lang/rust@245fbeef49 The multiple_unsafe_ops_per_block test needs asm!
rust-lang/rust@dd615004ea restore line-break
rust-lang/rust@9cdf3ca600 default to no testing
rust-lang/rust@f71d2a2af6 update cargo manifest
rust-lang/rust@2196d65cf2 update lockfile
rust-lang/rust@331fd31e20 use FxHashMap
rust-lang/rust@cfa007f1d1 use one use for std
rust-lang/rust@f275a3c65b refactor
rust-lang/rust@ab15157960 revert using regex
rust-lang/rust@047a0c6fa5 use regex to check for problems
rust-lang/rust@7b7a26bee5 remove redundant whitespace
rust-lang/rust@586d9d6daf format
rust-lang/rust@4ff9f25467 restore original consts
rust-lang/rust@48cb8649f7 use generate_problems
rust-lang/rust@8ced53e0cc format style.rs
rust-lang/rust@a1f228bcd2 add more PROBLEMATIC_CONSTS
rust-lang/rust@c4f14ed785 Rollup merge of #122811 - nnethercote:mv-SourceMap-init, r=WaffleLapkin
rust-lang/rust@1fff3bef4d Add cargo dev setup toolchain
rust-lang/rust@f5e250180c Auto merge of #12673 - Luv-Ray:fix-ptr-as-ptr-duplicate-errors, r=blyxyas
rust-lang/rust@5b024d6550 Cranelift: Revert raw-dylib for Windows futex APIs
rust-lang/rust@f68529f2cf Use raw-dylib for Windows futex APIs
rust-lang/rust@f075abb4d0 Auto merge of #12678 - flip1995:bump-nightly, r=flip1995
rust-lang/rust@ae37fa89b4 Bump nightly version -> 2024-04-05
rust-lang/rust@dd0da10511 Auto merge of #123468 - compiler-errors:precise-capturing, r=oli-obk
rust-lang/rust@0aea3edb38 Avoid lots of hir::HirId{,Map,Set} qualifiers.
rust-lang/rust@c0bc812227 Always use ty:: qualifier for TyKind enum variants.
rust-lang/rust@b64c5f991c Avoid unnecessary rustc_span::DUMMY_SP usage.
rust-lang/rust@3e11360497 Construct SourceMap at the same time as SessionGlobals.
rust-lang/rust@fa134b5e0f Add graph::depth_first_search_as_undirected
rust-lang/rust@7d2cb3dda7 Make graph::DepthFirstSearch accept G by value
rust-lang/rust@86a576528c Add an opt-in to store incoming edges in VecGraph + some docs
rust-lang/rust@ac174ae8d2 Rollup merge of #123926 - compiler-errors:no-ann, r=estebank
rust-lang/rust@b3a82d8f9e Rollup merge of #123462 - fmease:rn-mod-sep-to-path-sep, r=nnethercote
rust-lang/rust@1703109ba0 Fix clippy
rust-lang/rust@febf858c23 Remove TypeVariableOriginKind
rust-lang/rust@735f2c6f92 Rustfmt, clippy
rust-lang/rust@da0ae33c15 [ptr_as_ptr]: Fix duplicate errors
rust-lang/rust@7063e3435c Auto merge of #12094 - yuxqiu:search_is_some, r=xFrednet,ARandomDev99
rust-lang/rust@4c8d210ab8 Improve semantics of int_ty_max functions
rust-lang/rust@38c4885c39 Add more test cases
rust-lang/rust@757f5bb3dc Fix formatting
rust-lang/rust@857f5dd475 Don't inline integer literals when out of range
rust-lang/rust@832fdb6d30 Auto merge of #12573 - modelflat:recognize-common-prepositions-in-module-name-repetitions, r=Jarcho
rust-lang/rust@0d84f00156 Auto merge of #12635 - Alexendoo:doc-check-attributes, r=Jarcho
rust-lang/rust@2e989dc280 Rollup merge of #123204 - notriddle:notriddle/include-str-span, r=pnkfelix
rust-lang/rust@6b1c828d91 Auto merge of #12661 - jqnatividad:unsafe_derive_deserialize-why_is_this_bad-typo, r=Alexendoo
rust-lang/rust@7dca8152cf Auto merge of #12660 - jqnatividad:fix-various-typos, r=Alexendoo
rust-lang/rust@46323751ad Auto merge of #12665 - cowlicks:patch-1, r=Alexendoo
rust-lang/rust@dfd41ad426 Auto merge of #12668 - Alexendoo:remark-version, r=flip1995
rust-lang/rust@fb2e827c64 Pin remark-lint-maximum-line-length version
rust-lang/rust@19821ad234 Properly handle emojis as literal prefix in macros
rust-lang/rust@8b5447c622 Fix typo in needless_borrows_for_generic_args.rs
rust-lang/rust@d7a8622bf4 Why is this bad explanation typo
rust-lang/rust@8de0a1bdbd fix varname typo
rust-lang/rust@e5b6d433fb fix various comment typos
rust-lang/rust@d13ccf3392 Add a helper for extending a span to include any trailing whitespace
rust-lang/rust@62fd1d5377 Auto merge of #12646 - GuillaumeGomez:regression-test-12537, r=blyxyas
rust-lang/rust@f7d49a340d Turn duplicated_attributes into a late lint
rust-lang/rust@ccc93f91b2 Auto merge of #12649 - flip1995:book-readme-sync, r=xFrednet
rust-lang/rust@54e8ad88b6 Auto merge of #12652 - Wilfred:patch-2, r=Alexendoo
rust-lang/rust@23225e15d0 Consistent lint group table in book and README
rust-lang/rust@3705073a71 Recognize common prefixes when checking for items with module name suffix
rust-lang/rust@1b6561f59b Auto merge of #12630 - mira-eanda:master, r=Manishearth
rust-lang/rust@8ae7eaefdc fix: Refactor dereference code and fix test
rust-lang/rust@db3a927432 Fix markdown syntax in str_split_at_newline docs
rust-lang/rust@fa2db5a60b Auto merge of #120131 - oli-obk:pattern_types_syntax, r=compiler-errors
rust-lang/rust@ce82fa494d Rollup merge of #123625 - oli-obk:private_fnctxt, r=fee1-dead
rust-lang/rust@4daaf19138 Rollup merge of #122807 - danielhuang:fix-1, r=davidtwco
rust-lang/rust@c8388033f3 Actually create ranged int types in the type system.
rust-lang/rust@89b48a2e22 Thread pattern types through the HIR
rust-lang/rust@02b5e1a159 Stop exporting TypeckRootCtxt and FnCtxt.
rust-lang/rust@2202493a67 Auto merge of #12626 - folkertdev:incorrect-boolean-simplification, r=blyxyas
rust-lang/rust@1c9e96536b Auto merge of #12610 - ARandomDev99:manual_unwrap_or_default-12564, r=dswij
rust-lang/rust@6a2cb33029 fix incorrect suggestion for !(a as type >= b)
rust-lang/rust@367f7aac5a Auto merge of #12604 - xFrednet:00000-review-vacation, r=matthiaskrgr
rust-lang/rust@2a34f231e9 Prevent PR assignments to @matthiaskrgr, @giraffate, and @Centri3
rust-lang/rust@eecff6d07b Auto merge of #12439 - Jacherr:issue-12185, r=blyxyas
rust-lang/rust@42d09703b4 Add support for ICE reporting in lintcheck
rust-lang/rust@d4a8f61eb3 Use check_attributes in doc lints
rust-lang/rust@08dac852a5 Auto merge of #12631 - franciscoBSalgueiro:11738, r=blyxyas
rust-lang/rust@8253040b3f Auto merge of #12591 - y21:issue12585, r=Jarcho
rust-lang/rust@71e02a01a1 use Lrc instead of the aliased type Arc directly
rust-lang/rust@a73e751d19 Auto merge of #12609 - Alexendoo:arc-with-non-send-sync-message, r=Jarcho
rust-lang/rust@0ae4a048c6 Merge commit '9725c4a162502a02c1c67fdca6b797fe09b2b73c' into clippy-subtree-update
rust-lang/rust@a1e76af295 Rename ModSep to PathSep
rust-lang/rust@d9a8903886 force exhaustion in iter::ArrayChunks::into_remainder
rust-lang/rust@38b8056fc6 Fix: #12268: Correct parentheses for needless_borrow suggestion
rust-lang/rust@ca92c0a7a4 update messages
rust-lang/rust@ac225a3b1f Fix #11738: allow cast lints in macros
rust-lang/rust@ac18c24fe8 Use IfLetOrMatch to avoid repetition of code
rust-lang/rust@b89fa5364f fix: fix ci errors
rust-lang/rust@e36c7d55b6 test: add test cases for str
rust-lang/rust@6f6dd880bc test: update tests
rust-lang/rust@56580406b1 style: fix fmt
rust-lang/rust@9d1f824878 fix: check if receiver's hir_id matches expr's hir_id
rust-lang/rust@b2ea5eef44 fix: incorrect suggestions when .then and .then_some is used
rust-lang/rust@6a6a917fe4 Check for Default trait in initial expression
rust-lang/rust@9d4a36841a Reword arc_with_non_send_sync note and help messages
rust-lang/rust@24e1071d21 clippy: fix up include_str! spans in diagnostics
rust-lang/rust@9f5d31ef86 clear DefId when an expression's type changes to non-adt
rust-lang/rust@9e2c65893d Remove TargetOptions::default_adjusted_cabi
rust-lang/rust@f09c19ac3a Introduce perma-unstable wasm-c-abi flag
rust-lang/rust@a333572970 Update rustdoc tests for stability display
rust-lang/rust@00779af94e Always display stability version even if it's the same as the containing item

@github-actions github-actions bot requested a review from a team as a code owner April 20, 2024 02:55
@zhassan-aws zhassan-aws reopened this Apr 20, 2024
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Apr 20, 2024
@tautschnig tautschnig merged commit de6a255 into main Apr 22, 2024
@tautschnig tautschnig deleted the toolchain-2024-04-20 branch April 22, 2024 12:51
karkhaz added a commit that referenced this pull request May 7, 2024
For reference, here is the auto-generated changelog

## What's Changed
* Upgrade toolchain to 2024-04-18 and improve toolchain workflow by
@celinval in #3149
* Automatic toolchain upgrade to nightly-2024-04-19 by @github-actions
in #3150
* Stabilize cover statement and update contracts RFC by @celinval in
#3091
* Automatic toolchain upgrade to nightly-2024-04-20 by @github-actions
in #3154
* Bump tests/perf/s2n-quic from `2d5e891` to `5f88e54` by @dependabot in
#3140
* Automatic cargo update to 2024-04-22 by @github-actions in
#3157
* Automatic toolchain upgrade to nightly-2024-04-21 by @github-actions
in #3158
* Bump tests/perf/s2n-quic from `5f88e54` to `9730578` by @dependabot in
#3159
* Fix cargo audit error by @jaisnan in
#3160
* Fix cbmc-update CI job by @tautschnig in
#3156
* Automatic cargo update to 2024-04-29 by @github-actions in
#3165
* Bump tests/perf/s2n-quic from `9730578` to `1436af7` by @dependabot in
#3166
* Do not assume that ZST-typed symbols refer to unique objects by
@tautschnig in #3134
* Fix copyright check for `expected` tests by @adpaco-aws in
#3170
* Remove kani::Arbitrary from the modifies contract instrumentation by
@feliperodri in #3169
* Automatic cargo update to 2024-05-06 by @github-actions in
#3172
* Bump tests/perf/s2n-quic from `1436af7` to `6dd41e0` by @dependabot in
#3174
* Avoid unnecessary uses of Location::none() by @tautschnig in
#3173


**Full Changelog**:
kani-0.50.0...kani-0.51.0

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

---------

Co-authored-by: Adrian Palacios <[email protected]>
zpzigi754 pushed a commit to zpzigi754/kani that referenced this pull request May 8, 2024
Update Rust toolchain from nightly-2024-04-19 to nightly-2024-04-20
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@e3181b0
up to
rust-lang/rust@f9b1614.
qinheping pushed a commit to qinheping/kani that referenced this pull request May 9, 2024
Update Rust toolchain from nightly-2024-04-19 to nightly-2024-04-20
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@e3181b0
up to
rust-lang/rust@f9b1614.
qinheping pushed a commit to qinheping/kani that referenced this pull request May 9, 2024
For reference, here is the auto-generated changelog

## What's Changed
* Upgrade toolchain to 2024-04-18 and improve toolchain workflow by
@celinval in model-checking#3149
* Automatic toolchain upgrade to nightly-2024-04-19 by @github-actions
in model-checking#3150
* Stabilize cover statement and update contracts RFC by @celinval in
model-checking#3091
* Automatic toolchain upgrade to nightly-2024-04-20 by @github-actions
in model-checking#3154
* Bump tests/perf/s2n-quic from `2d5e891` to `5f88e54` by @dependabot in
model-checking#3140
* Automatic cargo update to 2024-04-22 by @github-actions in
model-checking#3157
* Automatic toolchain upgrade to nightly-2024-04-21 by @github-actions
in model-checking#3158
* Bump tests/perf/s2n-quic from `5f88e54` to `9730578` by @dependabot in
model-checking#3159
* Fix cargo audit error by @jaisnan in
model-checking#3160
* Fix cbmc-update CI job by @tautschnig in
model-checking#3156
* Automatic cargo update to 2024-04-29 by @github-actions in
model-checking#3165
* Bump tests/perf/s2n-quic from `9730578` to `1436af7` by @dependabot in
model-checking#3166
* Do not assume that ZST-typed symbols refer to unique objects by
@tautschnig in model-checking#3134
* Fix copyright check for `expected` tests by @adpaco-aws in
model-checking#3170
* Remove kani::Arbitrary from the modifies contract instrumentation by
@feliperodri in model-checking#3169
* Automatic cargo update to 2024-05-06 by @github-actions in
model-checking#3172
* Bump tests/perf/s2n-quic from `1436af7` to `6dd41e0` by @dependabot in
model-checking#3174
* Avoid unnecessary uses of Location::none() by @tautschnig in
model-checking#3173


**Full Changelog**:
model-checking/kani@kani-0.50.0...kani-0.51.0

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

---------

Co-authored-by: Adrian Palacios <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-EndToEndBenchCI Tag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants