linux-x64 #1321

Job	Run time
linux-x64-btor2tools	9s
linux-x64-avy	41s
linux-x64-cadical	5s
linux-x64-abc	11s
linux-x64-cvc4	15s
linux-x64-ghdl	14s
linux-x64-graphviz	1m 2s
linux-x64-gtkwave	6s
linux-x64-icestorm	5s
linux-x64-imctk	9s
linux-x64-libpoly	10s
linux-x64-iverilog	8s
linux-x64-lingeling	6s
linux-x64-nextpnr-bba	6s
linux-x64-openfpgaloader	10s
linux-x64-prjoxide	8s
linux-x64-picosat	10s
linux-x64-prjtrellis	8s
linux-x64-prjtrellis-bba	19s
linux-x64-python2-native	23s
linux-x64-symfpu	10s
linux-x64-system-resources	6s
linux-x64-python3-native	22s
linux-x64-utils	12s
linux-x64-verilator	6m 5s
linux-x64-z3	14s
linux-x64-yices	6s
linux-x64-icestorm-bba	17s
linux-x64-prjoxide-bba	14s
linux-x64-yosys	13s
linux-x64-boolector	9s
linux-x64-aiger	7s
linux-x64-bitwuzla	8s
linux-x64-cvc5	12s
linux-x64-python2	26s
linux-x64-eqy	5s
linux-x64-ghdl-yosys-plugin	5s
linux-x64-python3	26s
linux-x64-smt-switch	13s
linux-x64-suprove	7s
linux-x64-pono	9s
linux-x64-xdot	13s
linux-x64-formal	25s
linux-x64-nextpnr-ecp5	24s
linux-x64-nextpnr-generic	13s
linux-x64-nextpnr-ice40	14s
linux-x64-nextpnr-nexus	8s
linux-x64-nextpnr-machxo2	24s
linux-x64-apicula	16s
linux-x64-cocotb	2m 7s
linux-x64-nextpnr-himbaechel	12s
linux-x64-pyhdl	10s
linux-x64-python-programmers	10s
linux-x64-nextpnr-himbaechel-gowin	12s
linux-x64-default	4m 46s
	24m 45s

Provide feedback