Automatic toolchain upgrade to nightly-2024-04-16 #3146
Closed
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}
celinval
requested changes
Apr 17, 2024
|
It looks like the this test is creating an rlib file and not deleting it: kani/tests/script-based-pre/crate-name/crate-name.sh Lines 28 to 33 in 299b0b3 And the action will commit tracked and untracked files, so it is including the rlib file generated in the regression. |
celinval
added a commit
that referenced
this pull request
Apr 18, 2024
The toolchain upgrade itself didn't require any modification, but it looks like the rust toolchain script includes any untracked files to the PR, which is the root cause of the #3146 CI failure. Thus, I made the following changes (each one of them in its own commit): 1. Moved the upgrade step to its own script. 2. Added a bit of debugging and doc to the script. 3. Added a new step that cleans the workspace before the PR creation. 4. Actually update the toolchain. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
zpzigi754
pushed a commit
to zpzigi754/kani
that referenced
this pull request
May 8, 2024
…-checking#3149) The toolchain upgrade itself didn't require any modification, but it looks like the rust toolchain script includes any untracked files to the PR, which is the root cause of the model-checking#3146 CI failure. Thus, I made the following changes (each one of them in its own commit): 1. Moved the upgrade step to its own script. 2. Added a bit of debugging and doc to the script. 3. Added a new step that cleans the workspace before the PR creation. 4. Actually update the toolchain. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
qinheping
pushed a commit
to qinheping/kani
that referenced
this pull request
May 9, 2024
…-checking#3149) The toolchain upgrade itself didn't require any modification, but it looks like the rust toolchain script includes any untracked files to the PR, which is the root cause of the model-checking#3146 CI failure. Thus, I made the following changes (each one of them in its own commit): 1. Moved the upgrade step to its own script. 2. Added a bit of debugging and doc to the script. 3. Added a new step that cleans the workspace before the PR creation. 4. Actually update the toolchain. 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
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-2024-04-15 to nightly-2024-04-16 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@0d8b334 up to rust-lang/rust@ccfcd95. The log for this commit range is:
rust-lang/rust@ccfcd950b3 Auto merge of #123451 - Kobzol:arbitrary-try-build, r=pietroalbini
rust-lang/rust@72104e245b Add comments
rust-lang/rust@3493a56529 Auto merge of #123982 - compiler-errors:rollup-m2v4epp, r=compiler-errors
rust-lang/rust@27cb6bcb9b Rollup merge of #123970 - risc0:erik/zkvm-fix-os-str, r=joboet
rust-lang/rust@89e55f7bef Rollup merge of #123943 - saethlin:less-sysroot-libc, r=workingjubilee
rust-lang/rust@20a5fb3b4a Rollup merge of #123924 - compiler-errors:tuple-sugg, r=estebank
rust-lang/rust@314dee528b Rollup merge of #123900 - compiler-errors:nobound, r=lcnr
rust-lang/rust@99d0186b1d Auto merge of #123968 - jieyouxu:rollup-1pnkxor, r=jieyouxu
rust-lang/rust@ee0aea5f65 zkvm: fix references to
os_strmodulerust-lang/rust@9e630d3f21 PolyTraitRefs -> TraitRefs
rust-lang/rust@723c0e23bc Rollup merge of #123957 - RalfJung:create_dir_all_bare, r=joboet
rust-lang/rust@4f3a39ba79 Rollup merge of #123941 - Mark-Simulacrum:fix-llvm-ub, r=nikic
rust-lang/rust@5580ae9795 Rollup merge of #123934 - WaffleLapkin:graph-mini-refactor, r=fmease
rust-lang/rust@b79d0b0849 Rollup merge of #123933 - RalfJung:large-assignments, r=michaelwoerister
rust-lang/rust@313b02a86b Rollup merge of #123931 - compiler-errors:variance-unnameables, r=fmease
rust-lang/rust@1870e2d09f Rollup merge of #123922 - TDecking:base_n_magic_removal, r=jieyouxu
rust-lang/rust@b1d1e081be Rollup merge of #123919 - RalfJung:discriminant, r=compiler-errors
rust-lang/rust@18e6bb2851 Rollup merge of #123896 - JeanCASPAR:rustc_resolve-to-session-diagnostic, r=jieyouxu
rust-lang/rust@699612fb8a Rollup merge of #123864 - oli-obk:define_opaque_types3, r=compiler-errors
rust-lang/rust@4d2a8e3692 Rollup merge of #123666 - mountcount:master, r=lqd
rust-lang/rust@2074631732 Rollup merge of #123548 - RalfJung:what-is-time, r=joboet
rust-lang/rust@e07d18fb2f Rollup merge of #123423 - kjetilkjeka:llvm_bitcode_linker_component, r=Mark-Simulacrum
rust-lang/rust@023084804e Auto merge of #123937 - RalfJung:miri-link-section, r=oli-obk
rust-lang/rust@d2ec957680 Stop using PolyTraitRef for closure/coroutine predicates already instantiated w placeholders
rust-lang/rust@435db9b9bd Use RPITIT for
SuccessorsandPredecessorstraitsrust-lang/rust@235d45e9c9 Distribute LLVM bitcode linker as a preview component
rust-lang/rust@7457a0d441 Use the rustc_private libc less in tests
rust-lang/rust@84e729a59f Auto merge of #123851 - NobodyXu:patch-1, r=BurntSushi
rust-lang/rust@05366ee270 Update doc for std::io::Error::downcast
rust-lang/rust@d493fd148d Auto merge of #115717 - jsgf:stablize-json-unused-externs, r=oli-obk
rust-lang/rust@7d1ee8c0fb Fix some typos in doc
rust-lang/rust@24dac6cd45 disable create_dir_all_bare on all(miri, windows)
rust-lang/rust@5dcb678ad8 Auto merge of #122917 - saethlin:atomicptr-to-int, r=nikic
rust-lang/rust@510720e9fc libtest: also measure time in Miri
rust-lang/rust@85b884b058 Auto merge of #122997 - matthiaskrgr:compiletest_ices, r=oli-obk
rust-lang/rust@bf3deccdad Fix UB in LLVM FFI when passing zero or >1 bundle
rust-lang/rust@9db7a74525 Auto merge of #123928 - tbu-:pr_statx_enosys, r=workingjubilee
rust-lang/rust@1d8f4a6d9c Auto merge of #123828 - cuviper:cargo-aarch64-gnu, r=Mark-Simulacrum
rust-lang/rust@2ce487c45c crashes: limit a couple tests to only run on x86_64 and/or not on windows
rust-lang/rust@8880b702fe Add documentation for unused-externs(-silent)
rust-lang/rust@fdcb8a9fea Stabilize --json unused-externs(-silent)
rust-lang/rust@5934aaaa97 Miri: run .CRT$XLB linker section on thread-end
rust-lang/rust@2970ae5a6b Fix ENV quotes in aarch64-gnu/Dockerfile
rust-lang/rust@3305e71095 Run static initializers
rust-lang/rust@80dc3d14c9 move the LargeAssignments lint logic into its own file
rust-lang/rust@e8d2221e3b Make
depth_first_searchinto a standalone functionrust-lang/rust@3124fa9310 Document
ControlFlowGraphrust-lang/rust@f5144938bd Rename
WithNumEdges=>NumEdgesandWithStartNode=>StartNoderust-lang/rust@0d5fc9bf58 Merge
{With,Graph}{Successors,Predecessors}into{Successors,Predecessors}rust-lang/rust@398da593a5 Merge
WithNumNodesinto DirectedGraphrust-lang/rust@b09c177743 Don't leak unnameable types in -> _ recover
rust-lang/rust@2325b81d04
statxprobe:ENOSYSmight come from a faulty FUSE driverrust-lang/rust@325b24d763 Fix 1-tuple value suggestion
rust-lang/rust@4af94cfa05 Suggest value on bare return
rust-lang/rust@e4c71f1fd8 Fix value suggestion for array in generic context
rust-lang/rust@d6ac50e547 Consolidate two copies of ty_kind_suggestion
rust-lang/rust@e5cf30cd63 Update v0.rs
rust-lang/rust@be7fb2ed55 Update encode.rs
rust-lang/rust@ec3ac1dcd6 builtin-derive: tag → discriminant
rust-lang/rust@37df49059d update README and add COMPILETEST_VERBOSE_CRASHES env var which when set print stdout, stderr and exit code of "crashes" tests, useful for debugging or adding new tests
rust-lang/rust@6d9175f98e crashes: fix ice detection which did not trigger if code compiled without error by accident
rust-lang/rust@7d826ae43e tests/crashes: add ICEs from matthiaskrgr/glacier2
rust-lang/rust@98dd566033 add .rs crashes from https://github.com/rust-lang/glacier
rust-lang/rust@a5932b1507 compiletest: switch crash detection logic for run_crash_test around
rust-lang/rust@dd1e35f9c0 run_crash_test(): better error message when we get a none-ice
rust-lang/rust@dde3178d58 compiletest: crashes: turn off backtraces for faster tests
rust-lang/rust@7048ce7e8f tidy: add tidy check agains .rs files inside tests/crashes that are missing "//@ known-bug: "
rust-lang/rust@e09244fab2 add ignore-mode-crashes to the know list of compiletest directive names
rust-lang/rust@d6e70df1a2 crashes: add another test showing that everything works fine when we need compile-flags to repro an ice and add README
rust-lang/rust@7b05360a1e bootstrap/compiletest: implement "crashes" tests that fail if no ice is reproduced
rust-lang/rust@65ca71815a add initial ice as test
rust-lang/rust@992c505021 Reorder error messages
rust-lang/rust@cec9f7f716 Migrate more diagnostics
rust-lang/rust@4226dc2045 Migrate some diagnostics
rust-lang/rust@e4f4e58dc3 Port build_reduce_graph
rust-lang/rust@24653a5664 Remove a HACK by instead inferring opaque types during expected/formal type checking
rust-lang/rust@0c6077984f Avoid an intermediate Option and just create the resulting enum directly
rust-lang/rust@4a6b1562b5 Update document for std::io::Error::downcast
rust-lang/rust@814c19634d ci: test cargo on
aarch64-gnurust-lang/rust@f15b326751 Select specific CI YAML files to expand
rust-lang/rust@c22c81cbc1 Generate CI job matrix for PR jobs in Python
rust-lang/rust@6b794f6c80 Add the missing inttoptr when we ptrtoint in ptr atomics