Fix broken navclean and navsynctypes scripts
#2660
| Job | Run time |
|---|---|
| 5m 22s | |
| 5m 22s |
navclean and navsynctypes scripts
#2660
| Job | Run time |
|---|---|
| 5m 22s | |
| 5m 22s |