main

Patch `yosys-config` to report accurate paths #5321

Job	Run time
Build Binaries	4m 39s
Build sv2v	1m 33s
Build Binaries (for Debian)	4m 24s
Emit Workflow Info	0s
Build Binaries (ASAN)	7m 59s
Style check	1m 28s
Test "Installation from source" from README	19m 8s
Upload GHA event file	3s
Test With Packaged Yosys	1m 59s
Test With Bundled Yosys	1m 17s
Diff generated BSG Micro Designs tests / Parse and diff BSG Micro Designs	9m 15s
Formal Verification Tests / simple	11m 0s
Large Designs Tests / Ibex (Vivado synthesis)	6m 14s
Formal Verification Tests / sv2v	11m 0s
Large Designs Tests / Black Parrot (ASIC synthesis)	11m 5s
Formal Verification Tests / yosys	11m 1s
Large Designs Tests / Black Parrot (AMD (Xilinx) FPGA synthesis)	10m 59s
Large Designs Tests / Ibex (F4PGA synthesis)	11m 10s
Large Designs Tests / Opentitan 9d82960888 (synthesis)	11m 6s
Large Designs Tests / Opentitan parsing (full/top-down)	11m 11s
Large Designs Tests / Opentitan (synthesis)	11m 6s
Large Designs Tests / VeeR-EH1 (synthesis)	6m 32s
Large Designs Tests / Opentitan parsing (quick)	9m 32s
Parsing Tests / SystemVerilog Plugin	11m 32s
Parsing Tests / Surelog	11m 45s
Formal Verification Tests / Passlist Check	1s
Parsing Tests / Generate AST diff	1s
Parsing Tests / Summary Generation	1s
Release Package	1s
Release Package Installation Test	1s
	3h 17m 3s

Provide feedback