Fix indent setting in .editorconfig for *.v files (#183)
#2323
| Job | Run time |
|---|---|
| 6m 31s | |
| 26m 2s | |
| 6m 18s | |
| 30m 53s | |
| 29m 15s | |
| 34m 49s | |
| 2h 13m 48s |
.editorconfig for *.v files (#183)
#2323
| Job | Run time |
|---|---|
| 6m 31s | |
| 26m 2s | |
| 6m 18s | |
| 30m 53s | |
| 29m 15s | |
| 34m 49s | |
| 2h 13m 48s |