Implement runtime type checker on SemTypes #8491
| Job | Run time |
|---|---|
| 8m 8s | |
| 8m 8s | |
| 8m 8s | |
| 8m 8s | |
| 47m 36s | |
| 47m 36s | |
| 47m 36s | |
| 47m 36s | |
| 13m 0s | |
| 13m 0s | |
| 13m 0s | |
| 13m 0s | |
| 5m 10s | |
| 5m 10s | |
| 5m 10s | |
| 5m 10s | |
| 7m 16s | |
| 7m 16s | |
| 7m 16s | |
| 7m 16s | |
| 14m 57s | |
| 14m 57s | |
| 14m 57s | |
| 14m 57s | |
| 4m 30s | |
| 18m 9s | |
| 18m 9s | |
| 18m 9s | |
| 39m 48s | |
| 39m 48s | |
| 39m 48s | |
| 39m 48s | |
| 2h 0m 14s | |
| 2h 0m 14s | |
| 2h 0m 13s | |
| 2h 0m 13s | |
| 37m 50s | |
| 37m 50s | |
| 37m 50s | |
| 40m 51s | |
| 4m 8s | |
| 4m 8s | |
| 4m 8s | |
| 3m 45s | |
| 20h 54m 1s |