fix: consider type of t0
in promote_u0
#1500
Job | Run time |
---|---|
4m 2s | |
13m 28s | |
15m 29s | |
32m 59s |
t0
in promote_u0
#1500
Job | Run time |
---|---|
4m 2s | |
13m 28s | |
15m 29s | |
32m 59s |