Fix indent setting in .editorconfig for *.v files
#2321
| Job | Run time |
|---|---|
| 23m 0s | |
| 36m 35s | |
| 25m 21s | |
| 3m 8s | |
| 41m 35s | |
| 4m 45s | |
| 2h 14m 24s |
.editorconfig for *.v files
#2321
| Job | Run time |
|---|---|
| 23m 0s | |
| 36m 35s | |
| 25m 21s | |
| 3m 8s | |
| 41m 35s | |
| 4m 45s | |
| 2h 14m 24s |