chore: remove is_unconstrained_fn
field from elaborator
#10855
Job | Run time |
---|---|
3m 25s | |
3m 4s | |
4m 7s | |
3m 11s | |
13m 47s |
is_unconstrained_fn
field from elaborator
#10855
Job | Run time |
---|---|
3m 25s | |
3m 4s | |
4m 7s | |
3m 11s | |
13m 47s |