minor: format Expr::get_type()
#28819
Job | Run time |
---|---|
3m 37s | |
2m 15s | |
9m 38s | |
41s | |
9m 49s | |
52s | |
6m 27s | |
34m 8s | |
9m 15s | |
3m 38s | |
5m 7s | |
3m 34s | |
13m 6s | |
8m 48s | |
12m 47s | |
3m 18s | |
2m 43s | |
10m 22s | |
2m 47s | |
2m 27s | |
2h 25m 19s |