Remove ksud path to make xi and vvb happy (#1251)
#968
| Job | Run time |
|---|---|
| 2m 45s | |
| 2m 40s | |
| 3m 34s | |
| 8m 59s |
ksud path to make xi and vvb happy (#1251)
#968
| Job | Run time |
|---|---|
| 2m 45s | |
| 2m 40s | |
| 3m 34s | |
| 8m 59s |