linux-x64 #1388

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

Provide feedback