build(deps): bump third_party/tools/circt-verilog from 253a70b to 4177849
#7507
| Job | Run time |
|---|---|
| 8m 42s | |
| 17m 1s | |
| 12m 39s | |
| 17m 34s | |
| 48m 16s | |
| 21m 30s | |
| 8m 54s | |
| 12m 39s | |
| 13m 31s | |
| 19m 24s | |
| 1h 4m 51s | |
| 14m 19s | |
| 1h 21m 34s | |
| 26m 58s | |
| 17m 2s | |
| 42m 18s | |
| 16m 29s | |
| 5s | |
| 7h 23m 46s |