diff options
| author | Anton Khirnov <anton@khirnov.net> | 2019-01-08 09:41:29 +0100 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2019-01-08 09:41:29 +0100 |
| commit | 34dc258b7f39d3d7db8f4ed2abda03a67f202656 (patch) | |
| tree | 70967c3aebd5cd68369e76c2675fb1f255b7d752 /repository.py | |
| parent | 4cc19180a559aa2b2645586d015b3e9e892b93af (diff) | |
Use the list of tests actually run when reporting results.
Diffstat (limited to 'repository.py')
0 files changed, 0 insertions, 0 deletions