chore: remove Equiv.toFun_as_coe_apply
(#7902)
#4969
Job | Run time |
---|---|
10s | |
24s | |
4s | |
8s | |
1h 10m 24s | |
13s | |
1h 11m 23s |
Equiv.toFun_as_coe_apply
(#7902)
#4969
Job | Run time |
---|---|
10s | |
24s | |
4s | |
8s | |
1h 10m 24s | |
13s | |
1h 11m 23s |