Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-05-16 to nightly-2025-05-17 without any other source changes.

Copy link
Contributor Author

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@d97326e up to
rust-lang/rust@16d2276. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/16d2276fa6 Auto merge of #140911 - rust-lang:cargo_update, r=clubby789

rust-lang/rust@36ad75bceb Auto merge of #141093 - weihanglo:update-cargo, r=weihanglo
rust-lang/rust@8604d458eb Update cargo
rust-lang/rust@fc6bfe09aa Auto merge of #140959 - oli-obk:no-unsafe-children, r=davidtwco
rust-lang/rust@1b9efcd18f Auto merge of #141044 - flip1995:clippy-subtree-update, r=Manishearth
rust-lang/rust@c79bbfab78 Auto merge of #141066 - matthiaskrgr:rollup-e7tyrj5, r=matthiaskrgr
rust-lang/rust@5ce27f572f Rollup merge of #141026 - tshepang:rust-push, r=jieyouxu
rust-lang/rust@03912f40ef Rollup merge of #141013 - federico-terzi:feat/command_startupinfo_windows, r=joboet
rust-lang/rust@9808b07bc5 Rollup merge of #141009 - emmanuel-ferdman:master, r=marcoieni
rust-lang/rust@e53b9f8fdd Rollup merge of #141003 - clubby789:ternary-improve, r=compiler-errors
rust-lang/rust@953905fd9e Rollup merge of #140997 - jieyouxu:link-flags-negative-tests, r=lqd
rust-lang/rust@3237d4dc14 Rollup merge of #140984 - mlowicki:patch-2, r=ibraheemdev
rust-lang/rust@370cd22e47 Rollup merge of #140910 - paolobarbolini:wasi-fs-incorrect-stabilization, r=joboet
rust-lang/rust@e4929b530e Rollup merge of #140834 - lcnr:apit-folder, r=compiler-errors
rust-lang/rust@315296b0b9 Rollup merge of #140791 - xizheyin:issue-140761, r=ibraheemdev
rust-lang/rust@7e19eef048 Auto merge of #140557 - compiler-errors:remove-wf-hack, r=lcnr
rust-lang/rust@6d1875f99b Auto merge of #141050 - matthiaskrgr:rollup-uyzqbmj, r=matthiaskrgr
rust-lang/rust@3e6a2861e4 Rollup merge of #141027 - onur-ozkan:simpler-rustfmt-initialization, r=albertlarsan68
rust-lang/rust@9927143139 Rollup merge of #140990 - biabbas:vxworks, r=tgross35
rust-lang/rust@d0ea342440 Rollup merge of #140947 - compiler-errors:pending-norm, r=lcnr
rust-lang/rust@f5fb0d3ea0 Rollup merge of #140768 - Urgau:improv_autorefs-lint, r=fmease
rust-lang/rust@1f84e114f1 Rollup merge of #140712 - lcnr:normalization-gat-args, r=compiler-errors
rust-lang/rust@7a8fd9985d Rollup merge of #140685 - viliml:patch-1, r=Mark-Simulacrum
rust-lang/rust@8768188533 Rollup merge of #139749 - ruancomelli:docs/library/core/src/pin/fix-typo-necessarily-to-necessary, r=joboet
rust-lang/rust@60750ca0a1 tempfile dep bump fallout
rust-lang/rust@afa6d67f36 Update Cargo.lock
rust-lang/rust@825a62af51 Merge commit '0450db33a5d8587f7c1d4b6d233dac963605766b' into clippy-subtree-update
rust-lang/rust@0450db33a5 Rustup (#14815)
rust-lang/rust@367073195a Bump Clippy version -> 0.1.89
rust-lang/rust@5be888c479 Bump nightly version -> 2025-05-14
rust-lang/rust@0bb1b5bd3b Merge remote-tracking branch 'upstream/master' into rustup
rust-lang/rust@92116bcfa6 remove RustfmtState to reduce initial_rustfmt complexity
rust-lang/rust@a3ce646c3c Merge pull request #2388 from rust-lang/rustc-pull
rust-lang/rust@1fd536c5fb Merge from rustc
rust-lang/rust@4adff2f244 Preparing for merge from rustc
rust-lang/rust@d016ed87c3 Merge pull request #2387 from rust-lang/tshepang-avoid-conflict
rust-lang/rust@5e3aa1610f avoid upstream pull conflict
rust-lang/rust@a716f1a523 Add some negative test coverage for -Zlinker-features flag
rust-lang/rust@3e051afec7 Add some negative test coverage for malformed -Clink-self-contained flags
rust-lang/rust@05e7ce95c8 Merge pull request #2373 from rust-lang/tshepang-patch-2
rust-lang/rust@30b54adb96 Merge pull request #2379 from rust-lang/tshepang-which-chapter
rust-lang/rust@b805dcb7ac Merge pull request #2380 from rust-lang/tshepang-crate-cleaning
rust-lang/rust@032f738ed7 Merge pull request #2383 from rust-lang/tshepang-unused
rust-lang/rust@9b3abe79d7 Use more subdiagnostics and reword the overloaded deref note
rust-lang/rust@e0b6363974 wire up startupinfo methods
rust-lang/rust@ac1df15f86 Improve dangerous_implicit_aurorefs diagnostic output
rust-lang/rust@40bead02a5 clippy_dev refactor (#14616)
rust-lang/rust@754b06f978 Migrate to modern datetime API
rust-lang/rust@1267333ef1 Improve ternary operator recovery
rust-lang/rust@1a864f34a3 Add the allow_exact_repetitions option to the module_name_repetititions lint (#14261)
rust-lang/rust@488e4e53d2 Add the allow_exact_repetitions option to the module_name_repetitions lint.
rust-lang/rust@544c8ce535 Fix settimes for vxworks
rust-lang/rust@e1f1878da5 Fix set_name for vxworks. Length of name should be truncated to VX_TASK_RENAME_LENGTH-1
rust-lang/rust@373df5265e Post non_std_lazy_statics type warnings onto the right node (#14740)
rust-lang/rust@b9f4350fbc fix doc for UnixStream
rust-lang/rust@17f2a87c0c Add internal lint derive_deserialize_allowing_unknown (#14360)
rust-lang/rust@9f4ecea242 Add internal lint derive_deserialize_allowing_unknown
rust-lang/rust@a508011b1f Expect deep norm to fail if query norm failed
rust-lang/rust@34976ac9fe Invoke a query only when it doesn't return immediately anyway
rust-lang/rust@7bac114c86 Add new lint: cloned_ref_to_slice_refs (#14284)
rust-lang/rust@40e1b0ed00 add lint cloned_ref_to_slice_refs
rust-lang/rust@b255ae2cdb remove dangling references
rust-lang/rust@0636121964 clippy_dev: Remove print option from update_lints
rust-lang/rust@a9beb8b68d clippy_dev: Refactor token parsing to avoid macros.
rust-lang/rust@97abf33fa0 clippy_dev: Split gathering lint decls from parsing deprecated lints.
rust-lang/rust@2c85cb0371 clippy_dev: Only build AhoCorasick searcher once for multiple files.
rust-lang/rust@98cb92f323 clippy_dev: Reuse buffers when updating files and don't write unchanged files in clippy_dev
rust-lang/rust@3fe5fb2967 clippy_dev: Split rename and deprecate out of update_lints
rust-lang/rust@2f39264d00 clippy_dev: Set the current directory to clippy's root path.
rust-lang/rust@df1da673f7 Flush errors before deep normalize in dropck_outlives
rust-lang/rust@bfc6ad0340 Do not use clippy_utils from UI tests (#14788)
rust-lang/rust@54aa120f18 Update "Changelog update walkthrough" section (#14785)
rust-lang/rust@2215282fa4 Update Changelog update walkthrough docs section
rust-lang/rust@83248e57e9 Fix messages for type_repetition_in_bounds (#14752)
rust-lang/rust@c6a23f8fbd Include all bounds in bounds consolidation
rust-lang/rust@01e08a4c5b Do not use clippy_utils from UI tests
rust-lang/rust@459364b971 return_and_then: only lint returning expressions (#14783)
rust-lang/rust@62ba9969a4 Fix clippy::version of elidable_lifetime_names to 1.87 (#14654)
rust-lang/rust@b363499457 Add new confusing_method_to_numeric_cast lint (#13979)
rust-lang/rust@e98364238c Merge pull request #2378 from smanilov/patch-7
rust-lang/rust@436c363100 Remove n.b. about parser refactoring
rust-lang/rust@53572cfc57 Merge pull request #2382 from Zalathar/no-tuple-unsize
rust-lang/rust@2ce5451850 Changelog for Clippy 1.87 🦡 (#14748)
rust-lang/rust@55b5c835c5 Changelog for Clippy 1.87
rust-lang/rust@74fd9edc49 book: modify FnKind::Fn matching (#14780)
rust-lang/rust@48337da4a1 Use tempfile::TempDir::keep() instead of deprecated into_path() (#14784)
rust-lang/rust@2a0c72e3a9 Remove obsolete reference to unsized_tuple_coercion
rust-lang/rust@8f5dc85f37 Use tempfile::TempDir::keep() instead of deprecated into_path()
rust-lang/rust@acbc79c8da cargo update
rust-lang/rust@c040e9f6fc return_and_then: only lint returning expressions
rust-lang/rust@18eb293435 update dev doc: update FnKind::Fn matching
rust-lang/rust@aeea4727a4 Remove stable attribute from wasi fs (read_exact|write_all)_at
rust-lang/rust@7f6d507bba Fix ICE in missing_const_for_fn (#14776)
rust-lang/rust@9ed53b85b7 Fix ICE in missing_const_for_fn
rust-lang/rust@f60807dfee Resolve through local re-exports in lookup_path (#14772)
rust-lang/rust@5262ab2416 Fix unnecessary_unwrap emitted twice in closure (#14763) (#14770)
rust-lang/rust@5a406be039 noise
rust-lang/rust@58fa975a15 we are a collective
rust-lang/rust@63b3bf99af "cargo fmt"
rust-lang/rust@a9d655179f bump edition
rust-lang/rust@927343ee47 no point versioning these
rust-lang/rust@52e4b4a588 add missing word
rust-lang/rust@f1d1ebc1e9 last updated a year ago
rust-lang/rust@7b9d7fc2d4 sembr
rust-lang/rust@5d8e19fd15 reduce clutter when reading source
rust-lang/rust@a82a32980e fix broken links
rust-lang/rust@eb6749c02e is a question
rust-lang/rust@2efa4e6115 sembr
rust-lang/rust@9f07c1ef93 make more readable
rust-lang/rust@4e684a9977 make more clear what is meant
rust-lang/rust@8c6c97d0e2 use the right case
rust-lang/rust@c1de624605 link to chapter referred to
rust-lang/rust@90ec9da857 Merge pull request #2369 from rust-lang/tshepang-patch-1
rust-lang/rust@e61886a6d9 fix unnecessary_unwrap emitted twice in closure
rust-lang/rust@3c5e403824 char::is_digit() is const-stable only since Rust 1.87 (#14771)
rust-lang/rust@bde939058b char::is_digit() is const-stable only since Rust 1.87
rust-lang/rust@e4d82aefd9 Resolve through local re-exports in lookup_path
rust-lang/rust@16fd2a83d7 Fix integer_division false negative for NonZero denominators (#14664)
rust-lang/rust@a67ee902df unwrap.rs cleanup (#14761)
rust-lang/rust@756de2ab82 remove superseded lints (#14703)
rust-lang/rust@0533ff7d41 more moved tests
rust-lang/rust@6831638f20 Merge pull request #2376 from smanilov/patch-5
rust-lang/rust@656b31768d Allow any rust-lang team member to close an issue with rustbot (#14765)
rust-lang/rust@4a64903640 Use cargo dev setup toolchain in install from source docs (#14766)
rust-lang/rust@30526830bb Fix minor typo in rustdoc-internals.md
rust-lang/rust@35bdd25e32 remove superseded lints
rust-lang/rust@9eac7a3e04 move (and remove) impl Trait tests
rust-lang/rust@33f81c08aa Use cargo dev setup toolchain in install from source docs
rust-lang/rust@3a6fcd2170 Allow any rust-lang team member to close an issue
rust-lang/rust@d8726caacc fix false negative for unnecessary_unwrap (#14758)
rust-lang/rust@33519b7c99 Set Manish in vacation mode (#14762)
rust-lang/rust@1044e5bbcc Set Manish in vacation mode
rust-lang/rust@4cbd116460 unwrap.rs: internal naming cleanup
rust-lang/rust@668a292ca3 unwrap.rs: replace some strings usage by interned symbols
rust-lang/rust@b73d3b4384 fix issue-14725
rust-lang/rust@01854845bc refactor probe_and_consider_param_env_candidate
rust-lang/rust@31ebe11f61 normalization: avoid incompletely constraining GAT args
rust-lang/rust@079e0b4038 Merge pull request #2377 from smanilov/patch-6
rust-lang/rust@a07c71d773 Fix minor typo in installation.md
rust-lang/rust@e04158caed triagebot: canonicalize-issue-linksissue-links (#14751)
rust-lang/rust@f31bf4a94e Merge pull request #2323 from smanilov/patch-2
rust-lang/rust@1fbfbb59e9 Fix integer_division false negative for NonZero denominators
rust-lang/rust@d87763dc4f Remark test naming exception
rust-lang/rust@4101d90818 std: Explain prefer TryInto over TryFrom when specifying traits bounds on generic function
rust-lang/rust@b6c2a429ef std: Make consistence between From and Into
rust-lang/rust@f52e1be695 Merge pull request #2375 from smanilov/patch-4
rust-lang/rust@47cd0e733c Fix minor typo in serialization.md
rust-lang/rust@b2de3f4611 Merge pull request #2374 from rust-lang/rustc-pull
rust-lang/rust@659f0b606d Merge from rustc
rust-lang/rust@046bfb3e8c Preparing for merge from rustc
rust-lang/rust@d17eeb5d83 triagebot: canonicalize-issue-linksissue-links
rust-lang/rust@a94abae911 Clarify docs of CONFUSING_METHOD_TO_NUMERIC_CAST
rust-lang/rust@06fa0452eb Rename lint into confusing_method_to_numeric_cast
rust-lang/rust@f88f9a9dc5 Fix manual_let_else FN when diverges on simple enum variant (#14732)
rust-lang/rust@df47958894 Remove manual WF hack
rust-lang/rust@50cff118d8 Make let_with_type_underscore help message into a suggestion (#14749)
rust-lang/rust@c680419425 Add UI test for primitive_method_to_numeric_cast
rust-lang/rust@be40534457 Add primitive_method_to_numeric_cast lint
rust-lang/rust@303c4ecfdd Require T: TypeFoldable in Binder visit
rust-lang/rust@34cd9486c9 Fix diagnostic paths printed by dogfood test (#14746)
rust-lang/rust@8c045221b5 Make let_with_type_underscore help message into a suggestion
rust-lang/rust@772ea35935 Fix diagnostic paths printed by dogfood test
rust-lang/rust@ca6281628e Replace Symbol::as_str usage in match expressions (#14745)
rust-lang/rust@5aac708398 Replace Symbol::as_str usage in match expressions
rust-lang/rust@ca78fb4031 unwrap_used, expect_used: accept macro result as receiver (#14575)
rust-lang/rust@999db5cdc6 unwrap_used, expect_used: accept macro result as receiver
rust-lang/rust@cc5d1a5ab5 Post non_std_lazy_statics type warnings onto the right node
rust-lang/rust@fc811f7e2e item_name_repetitions: exclude enum variants with identical path components (#14619)
rust-lang/rust@73dd05cc7a add allow_unused config to missing_docs_in_private_items (#14453)
rust-lang/rust@cf6bebb343 Remove some unused #![feature]s (#14738)
rust-lang/rust@737d3b3363 Remove some unused #![feature]s
rust-lang/rust@94aa0d9a75 Update clippy_lints_internal to 2024 edition
rust-lang/rust@6e966d75fd avoid duplicating commands
rust-lang/rust@d0af404b19 fix: manual_let_else FN when diverges on simple enum variant
rust-lang/rust@7fdded3e37 Fix collapsible_if FP on block stmt before expr (#14730)
rust-lang/rust@874ad22b74 Rollup merge of #139773 - thaliaarchi:vec-into-iter-last, r=workingjubilee
rust-lang/rust@e7acf5c9b9 fix: collapsible_if FP on block stmt before expr
rust-lang/rust@50e0bf1b71 Gate collapsible_if let_chains lints on edition 2024 and MSRV (#14723)
rust-lang/rust@e89cf4d389 item_name_repetitions: exclude enum variants with identical path components
rust-lang/rust@8c93668a71 Gate collapsible_if let_chains lints on edition 2024 and MSRV
rust-lang/rust@32e150d651 Auto merge of #131160 - ismailarilik:handle-potential-query-instability-lint-for-rustc-middle, r=oli-obk
rust-lang/rust@c1586e141f Replace str path utils with new PathLookup type (#14705)
rust-lang/rust@f62f269658 Fix manual_unwrap_or_default FP on ref binding (#14731)
rust-lang/rust@53459ffa8c Simplify Vec::as_non_null implementation and make it const
rust-lang/rust@003fc6ce1c Remove myself from users on vacation (#14737)
rust-lang/rust@9d5bb00d92 Remove myself from users on vacation
rust-lang/rust@f60d7f9fc2 Read PR body from event in clippy_changelog action (#14736)
rust-lang/rust@e21b936770 Read PR body from event in clippy_changelog action
rust-lang/rust@59aaecbbf9 Handle rustc_middle cases of rustc::potential_query_instability lint
rust-lang/rust@afaedbb29b Rename Instance::new to Instance::new_raw and add a note that it is raw
rust-lang/rust@689e62b3b2 fix: unused_async FP on default impl (#14720)
rust-lang/rust@f23772ce8c Move lookup_path and similar into clippy_utils::paths
rust-lang/rust@b768fbe4bc Replace str path utils with new PathLookup type
rust-lang/rust@ea13461967 Don't warn about unloaded crates (#14733)
rust-lang/rust@7b7a9a6ece Don't warn about unloaded crates
rust-lang/rust@64880cad75 add test 3, fmt and lint
rust-lang/rust@481abc1361 fix doc
rust-lang/rust@91a06226a1 move the implementation under check_def_field
rust-lang/rust@c468552097 add allow_unused config to missing_docs_in_private_items
rust-lang/rust@7106e21227 fix: manual_unwrap_or_default FP on ref binding
rust-lang/rust@3564afaa77 Implement Iterator::last for vec::IntoIter
rust-lang/rust@56f018286b fix: manual_slice_fill FP on IndexMut overload (#14719)
rust-lang/rust@fb9508d7a0 Fix new_lint clippy command (#14642)
rust-lang/rust@33ea0b482c fix: manual_slice_fill FP on IndexMut overload
rust-lang/rust@a53acefef7 Remove is_normalizable (#14717)
rust-lang/rust@dd5113daab Merge commit '03a5b6b976ac121f4233775c49a4bce026065b47' into clippy-subtree-update
rust-lang/rust@782c6065c4 fix: unused_async FP on default impl
rust-lang/rust@80758c39eb add rdg push git config entry for git protocol pushers
rust-lang/rust@36c3617bb1 Remove is_normalizable. layout_of no longer contains a delay_bug.
rust-lang/rust@c7d3d6d468 Update clippy_lints/src/manual_abs_diff.rs
rust-lang/rust@8858b35c66 Fix a few more clippy::versions
rust-lang/rust@0b27121212 Fix clippy::version of elidable_lifetime_names to 1.87
rust-lang/rust@7bfb15cd11 Fix new_lint clippy command
rust-lang/rust@6f23f167af docs(library/core/src/pin): rewrite for clarity
rust-lang/rust@14662fabeb docs(library/core/src/pin): fix typo "necessarily" -> "necessary"

@github-actions github-actions bot requested a review from a team as a code owner May 17, 2025 03:28
@tautschnig tautschnig closed this May 17, 2025
@tautschnig tautschnig reopened this May 17, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label May 17, 2025
@tautschnig tautschnig added this pull request to the merge queue May 17, 2025
Merged via the queue into main with commit 6ddcabd May 17, 2025
26 checks passed
@tautschnig tautschnig deleted the toolchain-2025-05-17 branch May 17, 2025 06:02
github-merge-queue bot pushed a commit that referenced this pull request Jun 9, 2025
These are the automatically-generated release notes:
```
## What's Changed
* Toolchain upgrade to nightly-2025-05-04 by @thanhnguyen-aws in #4059
* Automatic toolchain upgrade to nightly-2025-05-05 by @github-actions in #4060
* Automatic toolchain upgrade to nightly-2025-05-06 by @github-actions in #4061
* Enable target features: x87 and sse2 by @thanhnguyen-aws in #4062
* Fix the bug: Loop contracts are not composable with function contracts  by @thanhnguyen-aws in #3979
* Automatic cargo update to 2025-05-12 by @github-actions in #4066
* Bump tests/perf/s2n-quic from `6aa9975` to `5f323b7` by @dependabot in #4068
* Fix stabilization instructions in RFC intro by @carolynzech in #4067
* Add support for quantifiers by @qinheping in #3993
* Toolchain upgrade to nightly-2025-05-07 by @thanhnguyen-aws in #4070
* Automatic toolchain upgrade to nightly-2025-05-08 by @github-actions in #4071
* Automatic toolchain upgrade to nightly-2025-05-09 by @github-actions in #4072
* Automatic toolchain upgrade to nightly-2025-05-10 by @github-actions in #4073
* Clippy/Stylistic Fixes by @carolynzech in #4074
* Upgrade toolchain to 2025-05-14 by @zhassan-aws in #4076
* Autoharness argument validation: only error on `--quiet` if `--list` was passed by @carolynzech in #4069
* Upgrade Rust toolchain to 2025-05-16 by @zhassan-aws in #4080
* Automatic toolchain upgrade to nightly-2025-05-17 by @github-actions in #4081
* Add setup scripts for Ubuntu 20.04 by @zhassan-aws in #4082
* Automatic toolchain upgrade to nightly-2025-05-18 by @github-actions in #4083
* Automatic cargo update to 2025-05-19 by @github-actions in #4086
* Automatic toolchain upgrade to nightly-2025-05-19 by @github-actions in #4085
* Automatic toolchain upgrade to nightly-2025-05-20 by @github-actions in #4091
* Bump tests/perf/s2n-quic from `5f323b7` to `22434aa` by @dependabot in #4089
* Fix the error that Kani panics when there is no external parameter in quantifier's closure. by @thanhnguyen-aws in #4088
* Update toolchain to 2025-05-22 by @carolynzech in #4098
* Use our toolchain when invoking `cargo metadata` by @carolynzech in #4090
* Automatic toolchain upgrade to nightly-2025-05-23 by @github-actions in #4099
* Automatic toolchain upgrade to nightly-2025-05-24 by @github-actions in #4101
* Automatic toolchain upgrade to nightly-2025-05-25 by @github-actions in #4102
* Fix a bug codegening `SwitchInt`s with only an otherwise branch by @bkirwi in #4095
* Automatic toolchain upgrade to nightly-2025-05-26 by @github-actions in #4104
* Automatic cargo update to 2025-05-26 by @github-actions in #4105
* Bump tests/perf/s2n-quic from `22434aa` to `550afb3` by @dependabot in #4106
* Automatic toolchain upgrade to nightly-2025-05-27 by @github-actions in #4107
* Update `kani::mem` pointer validity documentation by @carolynzech in #4092
* Add support for edition 2018 crates using assert! (Fixes #3717) by @sintemal in #4096
* Automatic toolchain upgrade to nightly-2025-05-28 by @github-actions in #4113
* Automatic toolchain upgrade to nightly-2025-05-29 by @github-actions in #4115
* Automatic toolchain upgrade to nightly-2025-05-30 by @github-actions in #4118
* Handle generic defaults in BoundedArbitrary derives by @zhassan-aws in #4117
* Automatic cargo update to 2025-06-02 by @github-actions in #4121
* Bump tests/perf/s2n-quic from `550afb3` to `8f54b57` by @dependabot in #4122
* Upgrade Rust toolchain to 2025-06-02 by @zhassan-aws in #4123
* Automatic toolchain upgrade to nightly-2025-06-03 by @github-actions in #4125
* Finish deprecating `--enable-unstable`, `--restrict-vtable`, and `--write-json-symtab` by @carolynzech in #4110
* `ty_mangled_name`: only use non-mangled name if `-Zcffi` is enabled. by @carolynzech in #4114
* Improve Help Menu by @carolynzech in #4109
* Start stabilizing `--jobs` and `list`; deprecate default memory checks by @carolynzech in #4108
* Refactor simd_bitmask to reduce the number of iterations by @zhassan-aws in #4129
* Set target features depending on the target architecture by @zhassan-aws in #4127
* Bump some versions suggested by cargo-outdated by @zhassan-aws in #4131
* Improve linking error output for `#[no_std]` crates by @AlexanderPortland in #4126
* Fix the git log command in the toolchain update script by @zhassan-aws in #4139
* Gate quantifiers behind an experimental feature by @thanhnguyen-aws in #4141
* Automatic cargo update to 2025-06-09 by @github-actions in #4145

## New Contributors
* @bkirwi made their first contribution in #4095
* @sintemal made their first contribution in #4096
* @AlexanderPortland made their first contribution in #4126

**Full Changelog**: kani-0.62.0...kani-0.63.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: Carolyn Zech <carolynzech@gmail.com>
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.

2 participants