diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-17 08:52:45 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-17 08:52:45 +0000 |
| commit | c9989a524caa3379aac4f451a452c7ac9b247ae8 (patch) | |
| tree | 28029f0406b5c5d734a36a515d1d036cc0b59333 /docs/user | |
| parent | dd8fc5a61adf557afa2cd971039be10a83f6d503 (diff) | |
| parent | f0338cea5b3a214fe5e72eec68670b161530e1a6 (diff) | |
Merge #3153
3153: When a single test is run, do not run others with overlapping names r=matklad a=SomeoneToIgnore
Co-authored-by: Kirill Bulatov <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions