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.

Sign up for GitHub

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

Jump to bottom

Automatic toolchain upgrade to nightly-2024-08-30 #3469

Merged
merged 1 commit into from
Aug 30, 2024
Merged

Automatic toolchain upgrade to nightly-2024-08-30 #3469

merged 1 commit into from
Aug 30, 2024

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2024-08-29 to nightly-2024-08-30 without any other source changes.

@github-actions GitHub Actions
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@100fde5 up to
rust-lang/rust@0d63418. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/0d634185df Auto merge of #129750 - GuillaumeGomez:rollup-gphsb7y, r=GuillaumeGomez

rust-lang/rust@784d444733 Auto merge of #129714 - saethlin:half-a-recursion, r=compiler-errors
rust-lang/rust@9c7ae1d4d8 Rollup merge of #129743 - GuillaumeGomez:fix-rustdoc-clippy, r=notriddle
rust-lang/rust@7e23a44495 Rollup merge of #129732 - nnethercote:unreachable_pub-3, r=Urgau
rust-lang/rust@7dc2caba7b Rollup merge of #129690 - Oneirical:run-make-tidbits, r=jieyouxu
rust-lang/rust@a65404aba4 Rollup merge of #129316 - dingxiangfei2009:riscv64-imac-scs, r=nnethercote
rust-lang/rust@d5c40d03dc Rollup merge of #128970 - DianQK:lint-llvm-ir, r=nikic
rust-lang/rust@4b08b2e400 Rollup merge of #128166 - ChaiTRex:isqrt, r=tgross35
rust-lang/rust@015e9371e0 Rollup merge of #123940 - kornelski:remove-derived-debug, r=Urgau
rust-lang/rust@65cb5deedb Use path instead of Path in some run-make tests
rust-lang/rust@da43f95dd3 Add needs-unwind compiletest directive to libtest-thread-limit
rust-lang/rust@9c29b33c7e riscv64imac: allow shadow call stack sanitizer
rust-lang/rust@7a71a914f6 Add warn(unreachable_pub) to rustc_resolve.
rust-lang/rust@afc58beebe Add warn(unreachable_pub) to rustc_query_system.
rust-lang/rust@2eea2d2cf1 Add warn(unreachable_pub) to rustc_query_impl.
rust-lang/rust@71bffef4f9 Add warn(unreachable_pub) to rustc_privacy.
rust-lang/rust@653ee7bc3a Add warn(unreachable_pub) to rustc_pattern_analysis.
rust-lang/rust@f77821203f Add warn(unreachable_pub) to rustc_passes.
rust-lang/rust@8683439a20 Fix clippy lints
rust-lang/rust@76bd802403 Add warn(unreachable_pub) to rustc_parse_format.
rust-lang/rust@cac04a1cb9 Add warn(unreachable_pub) to rustc_parser.
rust-lang/rust@46ea798a94 Add warn(unreachable_pub) to rustc_next_trait_solver.
rust-lang/rust@e3062147de Add warn(unreachable_pub) to rustc_monomorphize.
rust-lang/rust@8a8dd3f33e Add warn(unreachable_pub) to rustc_mir_dataflow.
rust-lang/rust@c16e2899dc Add warn(unreachable_pub) to rustc_mir_build.
rust-lang/rust@938daf6033 Add warn(unreachable_pub) to rustc_middle.
rust-lang/rust@05e07381d0 Add warn(unreachable_pub) to rustc_metadata.
rust-lang/rust@4b92682530 Add warn(unreachable_pub) to rustc_macros.
rust-lang/rust@9589eb95d2 Add -Zlint-llvm-ir
rust-lang/rust@7af8e218da Speed up checked_isqrt and isqrt methods
rust-lang/rust@0cac915211 Improve isqrt tests and add benchmarks
rust-lang/rust@6cf068db56 Auto merge of #129721 - workingjubilee:rollup-y2o1mnp, r=workingjubilee
rust-lang/rust@bd66fadd79 Rollup merge of #129715 - Amjad50:update-compiler-builtins, r=tgross35
rust-lang/rust@2ac56db8a2 Rollup merge of #129712 - randomPoison:trusty-tier-3-fix, r=saethlin
rust-lang/rust@ac5be35d58 Rollup merge of #129695 - GuillaumeGomez:fix-clippy-rustdoc-path, r=onur-ozkan
rust-lang/rust@472d164a49 Rollup merge of #129689 - compiler-errors:impl-lifetime, r=michaelwoerister
rust-lang/rust@dfe66cf529 Rollup merge of #129683 - RalfJung:copysign, r=thomcc
rust-lang/rust@9ddb45e81a Rollup merge of #129673 - matthewpipie:arc-weak-debug-trait, r=dtolnay
rust-lang/rust@44519a371b Rollup merge of #129617 - rustbot:docs-update, r=ehuss
rust-lang/rust@b94887a29c Rollup merge of #129494 - tshepang:fmt-threads-sendsync, r=Nadrieril
rust-lang/rust@d2418cb888 Rollup merge of #129467 - dingxiangfei2009:smart-pointer-relax-pointee, r=compiler-errors
rust-lang/rust@9d5f794312 Rollup merge of #129401 - workingjubilee:partial-initialization-of-stabilization, r=dtolnay,joboet
rust-lang/rust@fcb6b7792d Rollup merge of #129378 - goffrie:patch-3, r=ChrisDenton
rust-lang/rust@26f75a65d7 Rollup merge of #129343 - estebank:time-version, r=jieyouxu
rust-lang/rust@2572e0e8c9 Rollup merge of #129170 - artemagvanian:span-to-location, r=celinval
rust-lang/rust@4c8c9e092d Rollup merge of #128192 - mrkajetanp:feature-detect, r=Amanieu
rust-lang/rust@555414e683 Update compiler_builtins to 0.1.123
rust-lang/rust@950437a035 Use a reduced recursion limit in the MIR inliner's cycle breaker
rust-lang/rust@d8129a1c01 Correct trusty targets to be tier 3
rust-lang/rust@acb4e8b625 Auto merge of #127537 - veluca93:struct_tf, r=BoxyUwU
rust-lang/rust@b013a3ddf0 Emit specific message for time<0.3.35 inference failure
rust-lang/rust@88b9edc9db fmt-debug option
rust-lang/rust@39148351bd derive(SmartPointer): assume pointee from the single generic and better error messages
rust-lang/rust@7c4cc9fb79 Update reference
rust-lang/rust@19296ca23c Move 'tcx lifetime off of impl and onto methods
rust-lang/rust@4e6cd0f8e7 Fix path to run clippy on rustdoc
rust-lang/rust@0589dc75d3 copysign with sign being a NaN is non-portable
rust-lang/rust@7eb4cfeace Implement RFC 3525.
rust-lang/rust@c11d46f045 Add fmt::Debug to sync::Weak<T, A>
rust-lang/rust@605d9cf3b5 miri: Remove feature(new_uninit)
rust-lang/rust@2535a0f776 compiler: Remove feature(new_uninit)
rust-lang/rust@169b2f0e6d library: Stabilize new_uninit for Box, Rc, and Arc
rust-lang/rust@0f871b5baa tests: Update with new aarch64 target features
rust-lang/rust@3a0fbb5d4e rustc_codegen_llvm: Filter out unavailable LLVM features
rust-lang/rust@4fc4019cbc rustc_target: Remove fpmr target feature
rust-lang/rust@c3518067c7 rustc_target: Add SME aarch64 features
rust-lang/rust@4f847bd326 rustc_target: Add various aarch64 features
rust-lang/rust@a673e4fd4a Update src/tools/rustbook/Cargo.lock
rust-lang/rust@834d615397 Update books
rust-lang/rust@70ba8c1820 format code in tests/ui/threads-sendsync
rust-lang/rust@515f5acefe Introduce methods for obtaining Location for statements and terminators
rust-lang/rust@40481fc70a format
rust-lang/rust@d7b2fd4213 Clean up cfg-gating of ProcessPrng extern
rust-lang/rust@8bc120af82 Add an ability to convert between Span and visit::Location

@github-actions github-actions bot requested a review from a team as a code owner August 30, 2024 03:14
@tautschnig tautschnig closed this Aug 30, 2024
@tautschnig tautschnig reopened this Aug 30, 2024
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Aug 30, 2024
@carolynzech carolynzech added this pull request to the merge queue Aug 30, 2024
Merged via the queue into main with commit 6ac5183 Aug 30, 2024
27 checks passed
@carolynzech carolynzech deleted the toolchain-2024-08-30 branch August 30, 2024 14:26
@zhassan-aws zhassan-aws mentioned this pull request Sep 3, 2024
Merged
github-merge-queue bot pushed a commit that referenced this pull request Sep 4, 2024
@zhassan-aws
Bump Kani version to 0.55.0 (#3486)
603f9bf 
These are the auto-generated release notes:

## What's Changed
* Update CBMC build instructions for Amazon Linux 2 by @tautschnig in
#3431
* Handle intrinsics systematically by @artemagvanian in
#3422
* Bump tests/perf/s2n-quic from `445f73b` to `ab9723a` by @dependabot in
#3434
* Automatic cargo update to 2024-08-12 by @github-actions in
#3433
* Actually apply CBMC patch by @tautschnig in
#3436
* Update features/verify-rust-std branch by @feliperodri in
#3435
* Add test related to issue 3432 by @celinval in
#3439
* Implement memory initialization state copy functionality by
@artemagvanian in #3350
* Bump tests/perf/s2n-quic from `ab9723a` to `80b93a7` by @dependabot in
#3453
* Make points-to analysis handle all intrinsics explicitly by
@artemagvanian in #3452
* Automatic cargo update to 2024-08-19 by @github-actions in
#3450
* Add loop scanner to tool-scanner by @qinheping in
#3443
* Avoid corner-cases by grouping instrumentation into basic blocks and
using backward iteration by @artemagvanian in
#3438
* Re-enabled hierarchical logs in the compiler by @celinval in
#3449
* Fix ICE due to mishandling of Aggregate rvalue for raw pointers to
`str` by @celinval in #3448
* Automatic cargo update to 2024-08-26 by @github-actions in
#3459
* Bump tests/perf/s2n-quic from `80b93a7` to `8f7c04b` by @dependabot in
#3460
* Update deny action by @zhassan-aws in
#3461
* Basic support for memory initialization checks for unions by
@artemagvanian in #3444
* Adjust test patterns so as not to check for trivial properties by
@tautschnig in #3464
* Clarify comment in RFC Template by @carolynzech in
#3462
* RFC: Source-based code coverage by @adpaco-aws in
#3143
* Adopt Rust's source-based code coverage instrumentation by @adpaco-aws
in #3119
* Upgrade toolchain to 08/28 by @jaisnan in
#3454
* Extra tests and bug fixes to the delayed UB instrumentation by
@artemagvanian in #3419
* Upgrade Toolchain to 8/29 by @carolynzech in
#3468
* Automatic toolchain upgrade to nightly-2024-08-30 by @github-actions
in #3469
* Extend name resolution to support qualified paths (Partial Fix) by
@celinval in #3457
* Partially integrate uninit memory checks into `verify_std` by
@artemagvanian in #3470
* Update Toolchain to 9/1 by @carolynzech in
#3478
* Automatic cargo update to 2024-09-02 by @github-actions in
#3480
* Bump tests/perf/s2n-quic from `8f7c04b` to `1ff3a9c` by @dependabot in
#3481
* Automatic toolchain upgrade to nightly-2024-09-02 by @github-actions
in #3479
* Automatic toolchain upgrade to nightly-2024-09-03 by @github-actions
in #3482
* RFC for List Subcommand by @carolynzech in
#3463
* Add tests for fixed issues. by @carolynzech in
#3484


**Full Changelog**:
kani-0.54.0...kani-0.55.0

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@carolynzech carolynzech carolynzech approved these changes

Assignees
No one assigned
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@carolynzech @tautschnig @celinval