fix: respect --quiet flag when --symbol flag is also given in `ip…
#4239
| Job | Run time |
|---|---|
| 3m 30s | |
| 2h 58m 14s | |
| 14m 25s | |
| 3h 16m 9s |
--quiet flag when --symbol flag is also given in `ip…
#4239
| Job | Run time |
|---|---|
| 3m 30s | |
| 2h 58m 14s | |
| 14m 25s | |
| 3h 16m 9s |