Automatic toolchain upgrade to nightly-2023-09-08 #2752
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
tautschnig
added
Z-BenchCI
tautschnig
added a commit
to tautschnig/kani
that referenced
this pull request
Sep 9, 2023
Creating the PR with the Z-BenchCI label will not actually trigger the performance benchmarking workflow: that workflow is conditional on the label newly being attached to an existing PR. Consequently, one had to remove and then re-add the label for the workflow to be triggered (see model-checking#2752 for an example).
3 tasks
tautschnig
added
Z-BenchCI
|
We keep seeing verification time instability in the s2n-quic tests for no obvious reason. Merging in keeping with what we've done before. |
tautschnig
approved these changes
Sep 11, 2023
4 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Update Rust toolchain from nightly-2023-09-07 to nightly-2023-09-08 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@e3abbd4 up to rust-lang/rust@1e746d7. The log for this commit range is:
rust-lang/rust@1e746d7741 Auto merge of #115527 - oli-obk:drop_maybe_uninit_in_const, r=lcnr
rust-lang/rust@320bb8116f Don't require
Dropfor[PhantomData<T>; N]whereNandTare generic, ifTrequiresDroprust-lang/rust@70c7e4d21c Auto merge of #114855 - Urgau:rustdoc-typedef-inner-variants, r=GuillaumeGomez
rust-lang/rust@f06b7c59a3 Auto merge of #114183 - Urgau:stabilize-print-with-path, r=oli-obk
rust-lang/rust@caf6ce5ea2 Stabilize
PATHoption for--print KIND=PATHrust-lang/rust@c5775a776f Auto merge of #115602 - oli-obk:lower_intrinsics, r=petrochenkov
rust-lang/rust@7f0fa485a6 Auto merge of #115582 - compiler-errors:refine-yeet, r=oli-obk
rust-lang/rust@d5573d708d Auto merge of #115617 - coastalwhite:bump-stdarch-riscv-intrinsics, r=Amanieu
rust-lang/rust@fece303aeb Auto merge of #115616 - bjorn3:sync_cg_clif-2023-09-06, r=bjorn3
rust-lang/rust@f00c139998 Auto merge of #110050 - saethlin:better-u32-encoding, r=nnethercote
rust-lang/rust@7714db873e Add note
rust-lang/rust@4d05da46e7 Don't emit refining_impl_trait for private items
rust-lang/rust@469dc8f0fa Add comments with the same level of detail as the PR description
rust-lang/rust@4745d34bc3 Use self instead of the actual self ty
rust-lang/rust@e10262ca0a Implement refinement lint for RPITIT
rust-lang/rust@4e5b31c2b0 Auto merge of #115166 - Urgau:invalid_ref_casting-invalid-unsafecell-usage, r=est31
rust-lang/rust@b0d45536ac Auto merge of #115580 - eduardosm:stdarch-intrinsics, r=davidtwco,bjorn3
rust-lang/rust@2b02142eab Bump: Include RISC-V intrinsics for stdarch
rust-lang/rust@521ed6e308 Merge commit 'dda103b1e33c4902deca8bccf614991ada781fa6' into sync_cg_clif-2023-09-06
rust-lang/rust@dda103b1e3 Rustup to rustc 1.74.0-nightly (a991861ec 2023-09-05)
rust-lang/rust@5920ae5e7b Sync from rust a991861ec9fd8aedffbe5744a8852c7c64dd40b2
rust-lang/rust@65f25fe194 Don't report any errors in
lower_intrinsics. They should have been typecked before.rust-lang/rust@0b6ee86d37 Remove special handling in codegen for some AVX and SSE2 shift by immediate intrinsics
rust-lang/rust@c3edc57981 Remove special handling in codegen for some SSE2 "storeu" intrinsics
rust-lang/rust@537edd0be4 Bump stdarch submodule
rust-lang/rust@94fe18f84b Use a specialized varint + bitpacking scheme for DepGraph encoding
rust-lang/rust@61a0b77e17 Use relative positions inside a SourceFile.
rust-lang/rust@0559de6567 Fix rustc test suite
rust-lang/rust@a756bae8ca Rustup to rustc 1.74.0-nightly (2f5df8a94 2023-08-31)
rust-lang/rust@832422832a Sync from rust 2f5df8a94bb3c5fae4e3fcbfc8ef20f1f976cb19
rust-lang/rust@65d75fdc38 Rollup merge of #111580 - atsuzaki:layout-ice, r=oli-obk
rust-lang/rust@833592766f const_eval and codegen: audit uses of is_zst
rust-lang/rust@b88dfcfcd5 Don't ICE on layout computation failure
rust-lang/rust@85e4b89cf6 rustdoc: start new "Sections" section in the book with Aliased Type
rust-lang/rust@706d010c8b rustdoc: always print type alias inner type (with it's where clauses)
rust-lang/rust@25a2ba2ee4 Use
preserve_mostccforextern "rust-cold"rust-lang/rust@282acb93c9 rustdoc: remove details for type alias inner type and fix sidebar
rust-lang/rust@9443f84745 rustdoc: normalize all typedef inner types
rust-lang/rust@af6889c28c rustdoc: bind typedef inner type items to the folding system
rust-lang/rust@6b3bba8c3e rustdoc: handle typedef inner type when doing cross-crate inlining
rust-lang/rust@2c35abe37c rustdoc: show inner enum and struct in type definition for concrete type
rust-lang/rust@89800a27fc Lint on invalid UnsafeCell::raw_get with invalid_reference_casting lint
rust-lang/rust@3f4145e169 when terminating during unwinding, show the reason why
rust-lang/rust@08cdb40219 rustdoc: extract logic for printing enum fields and struct variants
rust-lang/rust@18658cb0c9 give some unwind-related terminators a more clear name
rust-lang/rust@9aa5fbf79c Fix shell helpers in usage docs
rust-lang/rust@8c6590a99b reverse change in rustc_codegen_cranelift
rust-lang/rust@0b283557e7 reverse change in rustc_codegen_cranelift
rust-lang/rust@9ef3a4ff0e Update Cargo.lock
rust-lang/rust@c4948dc37f Upgrade Object and related deps
rust-lang/rust@b705d2dcbd Rollup merge of #114622 - petrochenkov:noplugin, r=oli-obk
rust-lang/rust@0777ae620b Auto merge of #114673 - matthiaskrgr:rollup-9kroqpp, r=matthiaskrgr
rust-lang/rust@06ed138247 Merge branch 'sync_from_rust'
rust-lang/rust@59cabd7032 Merge commit '8f9ac9c22d6594cf059d8e6c71d414cc5ccd7975' into sync_cg_clif-2023-08-09
rust-lang/rust@b107241218 rustc: Move
crate_typesfromSessiontoGlobalCtxtrust-lang/rust@621be609b5 feat:
riscv-interrupt-{m,s}calling conventions