Add proof support for missing datatypes inferences (#11304) #29418
| Job | Run time |
|---|---|
| 19m 2s | |
| 11m 33s | |
| 20m 2s | |
| 28m 17s | |
| 16m 15s | |
| 16m 17s | |
| 22m 56s | |
| 31m 41s | |
| 15m 12s | |
| 31m 58s | |
| 22m 46s | |
| 3h 55m 59s |
| Job | Run time |
|---|---|
| 19m 2s | |
| 11m 33s | |
| 20m 2s | |
| 28m 17s | |
| 16m 15s | |
| 16m 17s | |
| 22m 56s | |
| 31m 41s | |
| 15m 12s | |
| 31m 58s | |
| 22m 46s | |
| 3h 55m 59s |