Improve Editor Configuration, Rename to SourceEditor (#336)
#131
| Job | Run time |
|---|---|
| 8s | |
| 1m 16s | |
| 1m 6s | |
| 2m 30s |
SourceEditor (#336)
#131
| Job | Run time |
|---|---|
| 8s | |
| 1m 16s | |
| 1m 6s | |
| 2m 30s |