diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-24 00:54:53 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-11-24 00:54:53 +0000 |
commit | 6294286fee6e53c29e8ad563f476721ad85ef266 (patch) | |
tree | a10e4e43027d124ef1ff9d9c7aadc36bd1c2ab9d /docs/dev/debugging.md | |
parent | 2ff78cde31cb4f5a4e05ef51dc9347838f790898 (diff) | |
parent | a172c2317c621ba15b7fc4c11b10040dac346ec8 (diff) |
Merge #6610
6610: add 'Re-enable this test' assist r=SomeoneToIgnore a=jakobhellermann
The `Ignore this test` assist previously allowed ignoring multiple times, each time adding a `#[ignore]` attribute.
This PR instead shows an assist to undo the ignoring.
Co-authored-by: Jakob Hellermann <[email protected]>
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions