refactor: move ext environment extension to Lean.Meta.Tactic
#26804
| Job | Run time |
|---|---|
| 4s | |
| 4s | |
| 3s | |
| 5m 12s | |
| 3m 47s | |
| 3m 12s | |
| 15m 5s | |
| 15m 5s | |
| 15m 40s | |
| 2s | |
| 3s | |
| 2s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 58m 19s |