chore: more squeeze_simp
s arising from linter (#11259)
#7023
Job | Run time |
---|---|
5s | |
9s | |
27s | |
7s | |
1h 3m 2s | |
9s | |
1h 3m 59s |
squeeze_simp
s arising from linter (#11259)
#7023
Job | Run time |
---|---|
5s | |
9s | |
27s | |
7s | |
1h 3m 2s | |
9s | |
1h 3m 59s |