Skip to content

Miri subtree update - #116234

Merged
bors merged 20 commits into
rust-lang:masterfrom
RalfJung:miri
Sep 29, 2023
Merged

Miri subtree update#116234
bors merged 20 commits into
rust-lang:masterfrom
RalfJung:miri

Conversation

@RalfJung

Copy link
Copy Markdown
Member

oli-obkand others added 20 commits September 22, 2023 16:08
bump ui test crate
The recommended way to run tests locally is `./miri bless -- -- --quiet`, which will show
* progress bars
* the currently running tests (allowing you to see which ones are still running towards the end of the test suite)
* the output of the currently running tests (if they are slow). This means slow running tests can output lines to `stderr` and the last line will be shown after the test name and updated every few hundred milliseconds.
As a side effect this PR also fixesrust-lang#2998 and only builds dependencies if any tests actually need them (this means that with the next ui_test update we'll be able to merge all our test suites).
Also fixesrust-lang/miri#3052.
also remove a normalization rule that doesn't seem to apply
GC the Stacked Borrows allocation history
This handles the biggest contributor to rust-lang/miri#3080
The benchmark that this adds demonstrates the memory improvement here, but our benchmark setup doesn't record memory usage, and `hyperfine` doesn't support emitting memory usage stats. I ran this benchmark manually with `/usr/bin/time -v cargo +miri miri run` 🤷
fix normalization in backtrace-api tests
also remove a normalization rule that doesn't seem to apply
@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 28, 2023
@rustbot

Copy link
Copy Markdown
Collaborator

These commits modify the Cargo.lock file. Unintentional changes to Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged.
Otherwise, you can ignore this comment.

The Miri subtree was changed

cc @rust-lang/miri

@RalfJung

Copy link
Copy Markdown
MemberAuthor

@bors r+

@bors

bors commented Sep 28, 2023

Copy link
Copy Markdown
Collaborator

📌 Commit e0f4ab8 has been approved by RalfJung

It is now in the queue for this repository.

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 28, 2023
bors added a commit to rust-lang-ci/rust that referenced this pull request Sep 29, 2023
…iaskrgr
Rollup of 7 pull requests
Successful merges:
- rust-lang#116133 (ref(bootstrap.py): add `eprint` function)
- rust-lang#116201 (Fix `noop_method_call` detection)
- rust-lang#116231 (Remove `rustc_lint_defs::lint_array`)
- rust-lang#116234 (Miri subtree update)
- rust-lang#116239 (Only visit reachable nodes in SsaLocals.)
- rust-lang#116245 (Clippy backport: Move needless_raw_string_hashes to pedantic)
- rust-lang#116253 (Make `adt_const_params` feature suggestion consistent with other features and improve when it is emitted)
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit 1ed00fe into rust-lang:masterSep 29, 2023
@rustbotrustbot added this to the 1.74.0 milestone Sep 29, 2023
@RalfJung
RalfJung deleted the miri branch September 29, 2023 11:59
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Sep 29, 2023
Rollup merge of rust-lang#116234 - RalfJung:miri, r=RalfJung
Miri subtree update
r? `@ghost`
bors-ferroceneBot added a commit to ferrocene/ferrocene that referenced this pull request Oct 5, 2023
23: Fix divergence from upstream `master` r=tshepang a=pvdrz
* rust-lang/rust#116381
* rust-lang/rust#116360
* rust-lang/rust#116353
* rust-lang/rust#116406
* rust-lang/rust#116408
* rust-lang/rust#116395
* rust-lang/rust#116393
* rust-lang/rust#116388
* rust-lang/rust#116365
* rust-lang/rust#116363
* rust-lang/rust#116146
* rust-lang/rust#115961
* rust-lang/rust#116386
* rust-lang/rust#116367
* rust-lang/rust#105394
* rust-lang/rust#115301
* rust-lang/rust#116384
* rust-lang/rust#116379
* rust-lang/rust#116328
* rust-lang/rust#116282
* rust-lang/rust#116261
* rust-lang/rust#114654
* rust-lang/rust#116376
* rust-lang/rust#116374
* rust-lang/rust#116371
* rust-lang/rust#116358
* rust-lang/rust#116210
* rust-lang/rust#115863
* rust-lang/rust#115025
* rust-lang/rust#116372
* rust-lang/rust#116361
* rust-lang/rust#116355
* rust-lang/rust#116351
* rust-lang/rust#116158
* rust-lang/rust#115726
* rust-lang/rust#113053
* rust-lang/rust#116083
* rust-lang/rust#102099
* rust-lang/rust#116356
* rust-lang/rust#116350
* rust-lang/rust#116349
* rust-lang/rust#116289
* rust-lang/rust#114454
* rust-lang/rust#114453
* rust-lang/rust#116331
* rust-lang/rust#116346
* rust-lang/rust#116340
* rust-lang/rust#116326
* rust-lang/rust#116313
* rust-lang/rust#116276
* rust-lang/rust#115898
* rust-lang/rust#116325
* rust-lang/rust#116317
* rust-lang/rust#116207
* rust-lang/rust#116281
* rust-lang/rust#116304
* rust-lang/rust#116259
* rust-lang/rust#116228
* rust-lang/rust#116224
* rust-lang/rust#115554
* rust-lang/rust#116311
* rust-lang/rust#116299
* rust-lang/rust#116295
* rust-lang/rust#116292
* rust-lang/rust#116307
* rust-lang/rust#115670
* rust-lang/rust#116225
* rust-lang/rust#116302
* rust-lang/rust#116108
* rust-lang/rust#116160
* rust-lang/rust#116157
* rust-lang/rust#116127
* rust-lang/rust#116286
* rust-lang/rust#116254
* rust-lang/rust#116195
* rust-lang/rust#116280
* rust-lang/rust#115933
* rust-lang/rust#115546
* rust-lang/rust#115368
* rust-lang/rust#116275
* rust-lang/rust#116263
* rust-lang/rust#116241
* rust-lang/rust#116216
* rust-lang/rust#116030
* rust-lang/rust#116024
* rust-lang/rust#112123
* rust-lang/rust#113301
* rust-lang/rust#113797
* rust-lang/rust#115759
* rust-lang/rust#116260
* rust-lang/rust#116253
* rust-lang/rust#116245
* rust-lang/rust#116239
* rust-lang/rust#116234
* rust-lang/rust#116231
* rust-lang/rust#116201
* rust-lang/rust#116133
* rust-lang/rust#116176
* rust-lang/rust#116089
* rust-lang/rust#115986
Co-authored-by: ouz-a <ouz.agz@gmail.com>
Co-authored-by: Jakub Beránek <berykubik@gmail.com>
Co-authored-by: Federico Stra <stra.federico@gmail.com>
Co-authored-by: bohan <bohan-zhang@foxmail.com>
Co-authored-by: Jason Newcomb <jsnewcomb@pm.me>
Co-authored-by: Ralf Jung <post@ralfj.de>
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
bors-ferroceneBot added a commit to ferrocene/ferrocene that referenced this pull request Oct 6, 2023
23: Fix divergence from upstream `master` r=tshepang a=pvdrz
* rust-lang/rust#116483
* rust-lang/rust#116475
* rust-lang/rust#116329
* rust-lang/rust#116198
* rust-lang/rust#115588
* rust-lang/rust#115522
* rust-lang/rust#115454
* rust-lang/rust#111595
* rust-lang/rust#116018
* rust-lang/rust#116472
* rust-lang/rust#116469
* rust-lang/rust#116421
* rust-lang/rust#116463
* rust-lang/rust#101150
* rust-lang/rust#116269
* rust-lang/rust#116417
* rust-lang/rust#116455
* rust-lang/rust#116452
* rust-lang/rust#116428
* rust-lang/rust#116415
* rust-lang/rust#116288
* rust-lang/rust#116220
* rust-lang/rust#103046
* rust-lang/rust#114042
* rust-lang/rust#104153
* rust-lang/rust#116427
* rust-lang/rust#116443
* rust-lang/rust#116432
* rust-lang/rust#116431
* rust-lang/rust#116429
* rust-lang/rust#116296
* rust-lang/rust#116223
* rust-lang/rust#116273
* rust-lang/rust#116184
* rust-lang/rust#116370
* rust-lang/rust#114417
* rust-lang/rust#115200
* rust-lang/rust#116413
* rust-lang/rust#116381
* rust-lang/rust#116360
* rust-lang/rust#116353
* rust-lang/rust#116406
* rust-lang/rust#116408
* rust-lang/rust#116395
* rust-lang/rust#116393
* rust-lang/rust#116388
* rust-lang/rust#116365
* rust-lang/rust#116363
* rust-lang/rust#116146
* rust-lang/rust#115961
* rust-lang/rust#116386
* rust-lang/rust#116367
* rust-lang/rust#105394
* rust-lang/rust#115301
* rust-lang/rust#116384
* rust-lang/rust#116379
* rust-lang/rust#116328
* rust-lang/rust#116282
* rust-lang/rust#116261
* rust-lang/rust#114654
* rust-lang/rust#116376
* rust-lang/rust#116374
* rust-lang/rust#116371
* rust-lang/rust#116358
* rust-lang/rust#116210
* rust-lang/rust#115863
* rust-lang/rust#115025
* rust-lang/rust#116372
* rust-lang/rust#116361
* rust-lang/rust#116355
* rust-lang/rust#116351
* rust-lang/rust#116158
* rust-lang/rust#115726
* rust-lang/rust#113053
* rust-lang/rust#116083
* rust-lang/rust#102099
* rust-lang/rust#116356
* rust-lang/rust#116350
* rust-lang/rust#116349
* rust-lang/rust#116289
* rust-lang/rust#114454
* rust-lang/rust#114453
* rust-lang/rust#116331
* rust-lang/rust#116346
* rust-lang/rust#116340
* rust-lang/rust#116326
* rust-lang/rust#116313
* rust-lang/rust#116276
* rust-lang/rust#115898
* rust-lang/rust#116325
* rust-lang/rust#116317
* rust-lang/rust#116207
* rust-lang/rust#116281
* rust-lang/rust#116304
* rust-lang/rust#116259
* rust-lang/rust#116228
* rust-lang/rust#116224
* rust-lang/rust#115554
* rust-lang/rust#116311
* rust-lang/rust#116299
* rust-lang/rust#116295
* rust-lang/rust#116292
* rust-lang/rust#116307
* rust-lang/rust#115670
* rust-lang/rust#116225
* rust-lang/rust#116302
* rust-lang/rust#116108
* rust-lang/rust#116160
* rust-lang/rust#116157
* rust-lang/rust#116127
* rust-lang/rust#116286
* rust-lang/rust#116254
* rust-lang/rust#116195
* rust-lang/rust#116280
* rust-lang/rust#115933
* rust-lang/rust#115546
* rust-lang/rust#115368
* rust-lang/rust#116275
* rust-lang/rust#116263
* rust-lang/rust#116241
* rust-lang/rust#116216
* rust-lang/rust#116030
* rust-lang/rust#116024
* rust-lang/rust#112123
* rust-lang/rust#113301
* rust-lang/rust#113797
* rust-lang/rust#115759
* rust-lang/rust#116260
* rust-lang/rust#116253
* rust-lang/rust#116245
* rust-lang/rust#116239
* rust-lang/rust#116234
* rust-lang/rust#116231
* rust-lang/rust#116201
* rust-lang/rust#116133
* rust-lang/rust#116176
* rust-lang/rust#116089
* rust-lang/rust#115986
Co-authored-by: ouz-a <ouz.agz@gmail.com>
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Co-authored-by: linkmauve <linkmauve@linkmauve.fr>
Co-authored-by: onur-ozkan <work@onurozkan.dev>
Co-authored-by: asquared31415 <34665709+asquared31415@users.noreply.github.com>
Co-authored-by: Emmanuel Ferdman <emmanuelferdman@gmail.com>
Co-authored-by: Ralf Jung <post@ralfj.de>
Co-authored-by: Nadrieril <nadrieril+git@gmail.com>
Co-authored-by: Raekye <Raekye@users.noreply.github.com>
Co-authored-by: Mark Rousskov <mark.simulacrum@gmail.com>
Co-authored-by: Zalathar <Zalathar@users.noreply.github.com>
bors-ferroceneBot added a commit to ferrocene/ferrocene that referenced this pull request Oct 9, 2023
23: Fix divergence from upstream `master` r=pietroalbini a=pvdrz
* rust-lang/rust#116483
* rust-lang/rust#116475
* rust-lang/rust#116329
* rust-lang/rust#116198
* rust-lang/rust#115588
* rust-lang/rust#115522
* rust-lang/rust#115454
* rust-lang/rust#111595
* rust-lang/rust#116018
* rust-lang/rust#116472
* rust-lang/rust#116469
* rust-lang/rust#116421
* rust-lang/rust#116463
* rust-lang/rust#101150
* rust-lang/rust#116269
* rust-lang/rust#116417
* rust-lang/rust#116455
* rust-lang/rust#116452
* rust-lang/rust#116428
* rust-lang/rust#116415
* rust-lang/rust#116288
* rust-lang/rust#116220
* rust-lang/rust#103046
* rust-lang/rust#114042
* rust-lang/rust#104153
* rust-lang/rust#116427
* rust-lang/rust#116443
* rust-lang/rust#116432
* rust-lang/rust#116431
* rust-lang/rust#116429
* rust-lang/rust#116296
* rust-lang/rust#116223
* rust-lang/rust#116273
* rust-lang/rust#116184
* rust-lang/rust#116370
* rust-lang/rust#114417
* rust-lang/rust#115200
* rust-lang/rust#116413
* rust-lang/rust#116381
* rust-lang/rust#116360
* rust-lang/rust#116353
* rust-lang/rust#116406
* rust-lang/rust#116408
* rust-lang/rust#116395
* rust-lang/rust#116393
* rust-lang/rust#116388
* rust-lang/rust#116365
* rust-lang/rust#116363
* rust-lang/rust#116146
* rust-lang/rust#115961
* rust-lang/rust#116386
* rust-lang/rust#116367
* rust-lang/rust#105394
* rust-lang/rust#115301
* rust-lang/rust#116384
* rust-lang/rust#116379
* rust-lang/rust#116328
* rust-lang/rust#116282
* rust-lang/rust#116261
* rust-lang/rust#114654
* rust-lang/rust#116376
* rust-lang/rust#116374
* rust-lang/rust#116371
* rust-lang/rust#116358
* rust-lang/rust#116210
* rust-lang/rust#115863
* rust-lang/rust#115025
* rust-lang/rust#116372
* rust-lang/rust#116361
* rust-lang/rust#116355
* rust-lang/rust#116351
* rust-lang/rust#116158
* rust-lang/rust#115726
* rust-lang/rust#113053
* rust-lang/rust#116083
* rust-lang/rust#102099
* rust-lang/rust#116356
* rust-lang/rust#116350
* rust-lang/rust#116349
* rust-lang/rust#116289
* rust-lang/rust#114454
* rust-lang/rust#114453
* rust-lang/rust#116331
* rust-lang/rust#116346
* rust-lang/rust#116340
* rust-lang/rust#116326
* rust-lang/rust#116313
* rust-lang/rust#116276
* rust-lang/rust#115898
* rust-lang/rust#116325
* rust-lang/rust#116317
* rust-lang/rust#116207
* rust-lang/rust#116281
* rust-lang/rust#116304
* rust-lang/rust#116259
* rust-lang/rust#116228
* rust-lang/rust#116224
* rust-lang/rust#115554
* rust-lang/rust#116311
* rust-lang/rust#116299
* rust-lang/rust#116295
* rust-lang/rust#116292
* rust-lang/rust#116307
* rust-lang/rust#115670
* rust-lang/rust#116225
* rust-lang/rust#116302
* rust-lang/rust#116108
* rust-lang/rust#116160
* rust-lang/rust#116157
* rust-lang/rust#116127
* rust-lang/rust#116286
* rust-lang/rust#116254
* rust-lang/rust#116195
* rust-lang/rust#116280
* rust-lang/rust#115933
* rust-lang/rust#115546
* rust-lang/rust#115368
* rust-lang/rust#116275
* rust-lang/rust#116263
* rust-lang/rust#116241
* rust-lang/rust#116216
* rust-lang/rust#116030
* rust-lang/rust#116024
* rust-lang/rust#112123
* rust-lang/rust#113301
* rust-lang/rust#113797
* rust-lang/rust#115759
* rust-lang/rust#116260
* rust-lang/rust#116253
* rust-lang/rust#116245
* rust-lang/rust#116239
* rust-lang/rust#116234
* rust-lang/rust#116231
* rust-lang/rust#116201
* rust-lang/rust#116133
* rust-lang/rust#116176
* rust-lang/rust#116089
* rust-lang/rust#115986
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: ouz-a <ouz.agz@gmail.com>
Co-authored-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Co-authored-by: linkmauve <linkmauve@linkmauve.fr>
Co-authored-by: onur-ozkan <work@onurozkan.dev>
Co-authored-by: asquared31415 <34665709+asquared31415@users.noreply.github.com>
Co-authored-by: Emmanuel Ferdman <emmanuelferdman@gmail.com>
Co-authored-by: Ralf Jung <post@ralfj.de>
Co-authored-by: Nadrieril <nadrieril+git@gmail.com>
Co-authored-by: Raekye <Raekye@users.noreply.github.com>
Co-authored-by: Mark Rousskov <mark.simulacrum@gmail.com>
Co-authored-by: Zalathar <Zalathar@users.noreply.github.com>
bors-ferroceneBot added a commit to ferrocene/ferrocene that referenced this pull request Oct 9, 2023
23: Fix divergence from upstream `master` r=Dajamante a=pvdrz
* rust-lang/rust#116483
* rust-lang/rust#116475
* rust-lang/rust#116329
* rust-lang/rust#116198
* rust-lang/rust#115588
* rust-lang/rust#115522
* rust-lang/rust#115454
* rust-lang/rust#111595
* rust-lang/rust#116018
* rust-lang/rust#116472
* rust-lang/rust#116469
* rust-lang/rust#116421
* rust-lang/rust#116463
* rust-lang/rust#101150
* rust-lang/rust#116269
* rust-lang/rust#116417
* rust-lang/rust#116455
* rust-lang/rust#116452
* rust-lang/rust#116428
* rust-lang/rust#116415
* rust-lang/rust#116288
* rust-lang/rust#116220
* rust-lang/rust#103046
* rust-lang/rust#114042
* rust-lang/rust#104153
* rust-lang/rust#116427
* rust-lang/rust#116443
* rust-lang/rust#116432
* rust-lang/rust#116431
* rust-lang/rust#116429
* rust-lang/rust#116296
* rust-lang/rust#116223
* rust-lang/rust#116273
* rust-lang/rust#116184
* rust-lang/rust#116370
* rust-lang/rust#114417
* rust-lang/rust#115200
* rust-lang/rust#116413
* rust-lang/rust#116381
* rust-lang/rust#116360
* rust-lang/rust#116353
* rust-lang/rust#116406
* rust-lang/rust#116408
* rust-lang/rust#116395
* rust-lang/rust#116393
* rust-lang/rust#116388
* rust-lang/rust#116365
* rust-lang/rust#116363
* rust-lang/rust#116146
* rust-lang/rust#115961
* rust-lang/rust#116386
* rust-lang/rust#116367
* rust-lang/rust#105394
* rust-lang/rust#115301
* rust-lang/rust#116384
* rust-lang/rust#116379
* rust-lang/rust#116328
* rust-lang/rust#116282
* rust-lang/rust#116261
* rust-lang/rust#114654
* rust-lang/rust#116376
* rust-lang/rust#116374
* rust-lang/rust#116371
* rust-lang/rust#116358
* rust-lang/rust#116210
* rust-lang/rust#115863
* rust-lang/rust#115025
* rust-lang/rust#116372
* rust-lang/rust#116361
* rust-lang/rust#116355
* rust-lang/rust#116351
* rust-lang/rust#116158
* rust-lang/rust#115726
* rust-lang/rust#113053
* rust-lang/rust#116083
* rust-lang/rust#102099
* rust-lang/rust#116356
* rust-lang/rust#116350
* rust-lang/rust#116349
* rust-lang/rust#116289
* rust-lang/rust#114454
* rust-lang/rust#114453
* rust-lang/rust#116331
* rust-lang/rust#116346
* rust-lang/rust#116340
* rust-lang/rust#116326
* rust-lang/rust#116313
* rust-lang/rust#116276
* rust-lang/rust#115898
* rust-lang/rust#116325
* rust-lang/rust#116317
* rust-lang/rust#116207
* rust-lang/rust#116281
* rust-lang/rust#116304
* rust-lang/rust#116259
* rust-lang/rust#116228
* rust-lang/rust#116224
* rust-lang/rust#115554
* rust-lang/rust#116311
* rust-lang/rust#116299
* rust-lang/rust#116295
* rust-lang/rust#116292
* rust-lang/rust#116307
* rust-lang/rust#115670
* rust-lang/rust#116225
* rust-lang/rust#116302
* rust-lang/rust#116108
* rust-lang/rust#116160
* rust-lang/rust#116157
* rust-lang/rust#116127
* rust-lang/rust#116286
* rust-lang/rust#116254
* rust-lang/rust#116195
* rust-lang/rust#116280
* rust-lang/rust#115933
* rust-lang/rust#115546
* rust-lang/rust#115368
* rust-lang/rust#116275
* rust-lang/rust#116263
* rust-lang/rust#116241
* rust-lang/rust#116216
* rust-lang/rust#116030
* rust-lang/rust#116024
* rust-lang/rust#112123
* rust-lang/rust#113301
* rust-lang/rust#113797
* rust-lang/rust#115759
* rust-lang/rust#116260
* rust-lang/rust#116253
* rust-lang/rust#116245
* rust-lang/rust#116239
* rust-lang/rust#116234
* rust-lang/rust#116231
* rust-lang/rust#116201
* rust-lang/rust#116133
* rust-lang/rust#116176
* rust-lang/rust#116089
* rust-lang/rust#115986
35: Automated pull from `rust-lang/libc` r=pietroalbini a=github-actions[bot]
This PR pulls the following changes from the [`rust-lang/libc`](https://github.com/rust-lang/libc) repository:
* rust-lang/libc#3335
* rust-lang/libc#3373
* rust-lang/libc#3360
* rust-lang/libc#3374
* rust-lang/libc#3375
* rust-lang/libc#3376
* rust-lang/libc#3377
Co-authored-by: ouz-a <ouz.agz@gmail.com>
Co-authored-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: linkmauve <linkmauve@linkmauve.fr>
Co-authored-by: onur-ozkan <work@onurozkan.dev>
Co-authored-by: asquared31415 <34665709+asquared31415@users.noreply.github.com>
Co-authored-by: Emmanuel Ferdman <emmanuelferdman@gmail.com>
Co-authored-by: Ralf Jung <post@ralfj.de>
Co-authored-by: Nadrieril <nadrieril+git@gmail.com>
Co-authored-by: Raekye <Raekye@users.noreply.github.com>
Co-authored-by: Mark Rousskov <mark.simulacrum@gmail.com>
Co-authored-by: Zalathar <Zalathar@users.noreply.github.com>
Co-authored-by: Nikolay Arhipov <nikolajs.arhipovs@gmail.com>
Co-authored-by: Brian Cain <bcain@quicinc.com>
Co-authored-by: Steve Lau <stevelauc@outlook.com>
Co-authored-by: David CARLIER <devnexen@gmail.com>
Co-authored-by: Louis Dupré Bertoni <louisdb@lespetitspedestres.org>
Co-authored-by: Taiki Endo <te316e89@gmail.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@RalfJung@rustbot@bors@oli-obk@saethlin