Belt and suspenders -- use sym_matches_type before assert #28
| Job | Run time |
|---|---|
| 16m 20s | |
| 20m 13s | |
| 17m 0s | |
| 20m 43s | |
| 10m 48s | |
| 19m 6s | |
| 16m 18s | |
| 12m 23s | |
| 7m 36s | |
| 17m 30s | |
| 7m 32s | |
| 13m 34s | |
| 59m 39s | |
| 45m 55s | |
| 52m 57s | |
| 30m 28s | |
| 6h 8m 2s |
| Job | Run time |
|---|---|
| 16m 20s | |
| 20m 13s | |
| 17m 0s | |
| 20m 43s | |
| 10m 48s | |
| 19m 6s | |
| 16m 18s | |
| 12m 23s | |
| 7m 36s | |
| 17m 30s | |
| 7m 32s | |
| 13m 34s | |
| 59m 39s | |
| 45m 55s | |
| 52m 57s | |
| 30m 28s | |
| 6h 8m 2s |