WIP: Use Structured Diagnostics for Typed Holes #12457
| Job | Run time |
|---|---|
| 9s | |
| 20m 10s | |
| 14m 20s | |
| 13m 55s | |
| 26m 18s | |
| 18m 52s | |
| 18m 45s | |
| 14m 20s | |
| 7m 53s | |
| 8m 56s | |
| 12m 53s | |
| 9m 0s | |
| 9m 22s | |
| 4s | |
| 2h 54m 57s |
| Job | Run time |
|---|---|
| 9s | |
| 20m 10s | |
| 14m 20s | |
| 13m 55s | |
| 26m 18s | |
| 18m 52s | |
| 18m 45s | |
| 14m 20s | |
| 7m 53s | |
| 8m 56s | |
| 12m 53s | |
| 9m 0s | |
| 9m 22s | |
| 4s | |
| 2h 54m 57s |