[New] no-unknown-property
: add displaystyle
on <math>
#1848
Job | Run time |
---|---|
2m 15s | |
2m 16s | |
4m 31s |
no-unknown-property
: add displaystyle
on <math>
#1848
Job | Run time |
---|---|
2m 15s | |
2m 16s | |
4m 31s |