linux-x64 #1274

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

Provide feedback