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 |