Implement runtime type checker on SemTypes #8457
Job | Run time |
---|---|
7m 5s | |
48m 35s | |
14m 54s | |
12m 59s | |
7m 59s | |
5m 48s | |
38m 17s | |
19m 53s | |
2h 0m 13s | |
29m 15s | |
4m 7s | |
5h 9m 5s |
Job | Run time |
---|---|
7m 5s | |
48m 35s | |
14m 54s | |
12m 59s | |
7m 59s | |
5m 48s | |
38m 17s | |
19m 53s | |
2h 0m 13s | |
29m 15s | |
4m 7s | |
5h 9m 5s |