main

Build(deps): Bump third_party/yosys from `672375e` to `031ad38` #5312

Job	Run time
Build Binaries	7m 25s
Build sv2v	1m 25s
Build Binaries (for Debian)	7m 11s
Emit Workflow Info	0s
Build Binaries (ASAN)	13m 35s
Style check	1m 19s
Test "Installation from source" from README	52m 50s
Upload GHA event file	3s
Test With Packaged Yosys	2m 1s
Large Designs Tests / Ibex (F4PGA synthesis)	11m 15s
Formal Verification Tests / simple	13m 36s
Formal Verification Tests / sv2v	19m 11s
Formal Verification Tests / yosys	18m 42s
Diff generated BSG Micro Designs tests / Parse and diff BSG Micro Designs	9m 32s
Large Designs Tests / Ibex (Vivado synthesis)	6m 7s
Large Designs Tests / Opentitan 9d82960888 (synthesis)	40m 33s
Large Designs Tests / Opentitan parsing (full/top-down)	17m 24s
Large Designs Tests / Opentitan parsing (quick)	9m 15s
Large Designs Tests / Opentitan (synthesis)	1h 25m 21s
Large Designs Tests / Black Parrot (ASIC synthesis)	1h 2m 46s
Large Designs Tests / Black Parrot (AMD (Xilinx) FPGA synthesis)	20m 26s
Large Designs Tests / VeeR-EH1 (synthesis)	6m 6s
Parsing Tests / SystemVerilog Plugin	29m 26s
Parsing Tests / Surelog	21m 36s
Formal Verification Tests / Passlist Check	1m 3s
Parsing Tests / Summary Generation	1m 6s
Parsing Tests / Generate AST diff	4m 35s
Release Package	0s
Release Package Installation Test	0s
	7h 43m 49s

Provide feedback