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-09-03 #3482

Merged
merged 1 commit into from
Sep 3, 2024
Merged

Automatic toolchain upgrade to nightly-2024-09-03 #3482

merged 1 commit into from
Sep 3, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Sep 3, 2024

Update Rust toolchain from nightly-2024-09-02 to nightly-2024-09-03 without any other source changes.

@github-actions GitHub Actions
Copy link
Contributor Author

github-actions bot commented Sep 3, 2024

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@94885bc up to
rust-lang/rust@bd53aa3. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/bd53aa3bf7 Auto merge of #129317 - compiler-errors:expectation-subtyping, r=lcnr

rust-lang/rust@a4601859ae Auto merge of #129873 - matthiaskrgr:rollup-bv849ud, r=matthiaskrgr
rust-lang/rust@9b82580c73 Auto merge of #129798 - weihanglo:update-cargo, r=weihanglo
rust-lang/rust@38b6a66def Rollup merge of #129858 - compiler-errors:async-def, r=cjgillot
rust-lang/rust@3ea3397943 Rollup merge of #129843 - tgross35:triagebot-vacation, r=tgross35
rust-lang/rust@efad457ad5 Rollup merge of #129842 - no1wudi:master, r=saethlin
rust-lang/rust@5c3370d684 Rollup merge of #129837 - aDotInTheVoid:test-better-json, r=jieyouxu
rust-lang/rust@820540aaa0 Rollup merge of #129804 - ranger-ross:fixed-documentation-typos, r=Noratrieb
rust-lang/rust@8c2898989f Rollup merge of #129793 - lolbinarycat:doc-missing-newlines, r=workingjubilee
rust-lang/rust@dce26656ea Rollup merge of #129738 - nnethercote:rustc_mir_transform-cleanups, r=cjgillot
rust-lang/rust@e0039171ff Rollup merge of #129678 - compiler-errors:type-ir-inherent, r=fmease
rust-lang/rust@c90991db17 Rollup merge of #127474 - tesuji:foldable-inline-derefs, r=t-rustdoc
rust-lang/rust@e71f952912 Auto merge of #129063 - the8472:cold-opt-size, r=Amanieu
rust-lang/rust@0064bd1b99 add extra linebreaks so rustdoc can identify the first sentence
rust-lang/rust@91854453f2 Deny imports of rustc_type_ir::inherent outside of type ir + new trait solver
rust-lang/rust@7ab44cddc9 Replace walk with visit so we dont skip outermost expr kind in def collector
rust-lang/rust@a0073104ad Mark myself as on vacation for triagebot
rust-lang/rust@de7a14e977 Fix LLVM ABI NAME for riscv64imac-unknown-nuttx-elf
rust-lang/rust@f78979e687 Actually parse stdout json, instead of using hacky contains logic.
rust-lang/rust@95b9ecd6d6 Inline expected_inputs_for_expected_output into check_argument_types/check_expr_struct_fields
rust-lang/rust@c3f9c4f4d4 Use equality when relating formal and expected type in arg checking
rust-lang/rust@cbf92fcf39 Fixed more typos in library/core
rust-lang/rust@92f45900bb Fixed typos in btree map docs
rust-lang/rust@24ad26db3b Fixed some typos in the standard library documentation/comments
rust-lang/rust@6c393b1e15 Update cargo
rust-lang/rust@ac7a293336 Avoid repeated interning in SelfArgVisitor.
rust-lang/rust@8541b0f1f3 Use let/else to reduce some indentation.
rust-lang/rust@243109e006 Remove an unnecessary continue.
rust-lang/rust@590a02173b Factor out some repetitive code.
rust-lang/rust@408481f4d8 Remove some unnecessary constants.
rust-lang/rust@d7cb1181dc Merge DerefArgVisitor and PinArgVisitor.
rust-lang/rust@5331280a2b Merge some ifs.
rust-lang/rust@3b6af9a451 Use a local variable.
rust-lang/rust@66b3585145 Simplify a pattern.
rust-lang/rust@2932e097f4 Simplify creation of a set.
rust-lang/rust@fda52b8f63 Simplify a provider definition.
rust-lang/rust@016a709b24 Condense use rustc_* declarations.
rust-lang/rust@016a2e30a9 Remove unused features.
rust-lang/rust@79b5cfdf83 size-optimize some of the panic dependencies
rust-lang/rust@6d8f0bd930 apply #[optimize(size)] to #[cold] ones and part of the panick machinery
rust-lang/rust@9855a3844b Add tests for new toggle on deref blocks
rust-lang/rust@a868b3fce7 Create new CSS class for "big toggles"
rust-lang/rust@fbc794fe1e Fix style
rust-lang/rust@315a16fced doc: Fold inline methods from Deref

@github-actions github-actions bot requested a review from a team as a code owner September 3, 2024 03:12
@tautschnig tautschnig closed this Sep 3, 2024
@tautschnig tautschnig reopened this Sep 3, 2024
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Sep 3, 2024
@tautschnig tautschnig added this pull request to the merge queue Sep 3, 2024
Merged via the queue into main with commit 2c939ab Sep 3, 2024
27 checks passed
@tautschnig tautschnig deleted the toolchain-2024-09-03 branch September 3, 2024 12:54
@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

@tautschnig tautschnig tautschnig 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.
2 participants
@tautschnig @celinval