build(deps): bump third_party/tools/circt-verilog from 3a9ccf9 to efca772
#7674
| Job | Run time |
|---|---|
| 7m 23s | |
| 10m 10s | |
| 8m 51s | |
| 8m 43s | |
| 44m 14s | |
| 17m 15s | |
| 7m 17s | |
| 9m 4s | |
| 10m 33s | |
| 16m 7s | |
| 1h 2m 2s | |
| 9m 31s | |
| 1h 14m 24s | |
| 20m 16s | |
| 14m 13s | |
| 15m 48s | |
| 14m 57s | |
| 4s | |
| 5h 50m 52s |