build(deps): bump third_party/tools/yosys from 72f77dd to 0fc5812
#9200
| Job | Run time |
|---|---|
| 1m 58s | |
| 1m 58s |
72f77dd to 0fc5812
#9200
| Job | Run time |
|---|---|
| 1m 58s | |
| 1m 58s |