feature: supports Zed editor as an external editor (#477)
#1301
| Job | Run time |
|---|---|
| 3s | |
| 4m 13s | |
| 3m 47s | |
| 2m 33s | |
| 2m 47s | |
| 2m 4s | |
| 2m 13s | |
| 15s | |
| 9s | |
| 20s | |
| 51s | |
| 9s | |
| 49s | |
| 20m 13s |
Zed editor as an external editor (#477)
#1301
| Job | Run time |
|---|---|
| 3s | |
| 4m 13s | |
| 3m 47s | |
| 2m 33s | |
| 2m 47s | |
| 2m 4s | |
| 2m 13s | |
| 15s | |
| 9s | |
| 20s | |
| 51s | |
| 9s | |
| 49s | |
| 20m 13s |