fix(verify): a conformance row's proof must NAME the row it proves,…
#5673
| Job | Run time |
|---|---|
| 2m 24s | |
| 32s | |
| 0s | |
| -1s | |
| 2m 55s |
proof must NAME the row it proves,…
#5673
| Job | Run time |
|---|---|
| 2m 24s | |
| 32s | |
| 0s | |
| -1s | |
| 2m 55s |