Make interface for ppStaticLearn able to track proofs (#11311) #29417
| Job | Run time |
|---|---|
| 14m 29s | |
| 25m 41s | |
| 27m 24s | |
| 23m 11s | |
| 30m 42s | |
| 16m 59s | |
| 30m 41s | |
| 18m 13s | |
| 30m 36s | |
| 17m 59s | |
| 23m 51s | |
| 4h 19m 46s |
| Job | Run time |
|---|---|
| 14m 29s | |
| 25m 41s | |
| 27m 24s | |
| 23m 11s | |
| 30m 42s | |
| 16m 59s | |
| 30m 41s | |
| 18m 13s | |
| 30m 36s | |
| 17m 59s | |
| 23m 51s | |
| 4h 19m 46s |