Checker: keep no package whose tests skipped, so a skipped pass is never reused as proof (issue 890) #64
2
Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
e1f1b5d18b | ||
|
|
f0fe454145 |
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
e1f1b5d18b | ||
|
|
f0fe454145 |