refactor: move ext environment extension to Lean.Meta.Tactic
#7684
| Job | Run time |
|---|---|
| 7s | |
| 7s |
ext environment extension to Lean.Meta.Tactic
#7684
| Job | Run time |
|---|---|
| 7s | |
| 7s |