feat: split Lean.Kernel.Environment from Lean.Environment
#6485
| Job | Run time |
|---|---|
| 2s | |
| 2s |
Lean.Kernel.Environment from Lean.Environment
#6485
| Job | Run time |
|---|---|
| 2s | |
| 2s |