linux-arm #987

Job	Run time
linux-arm-graphviz	11s
linux-arm-python3	39s
linux-arm-cadical	4s
linux-arm-avy	6s
linux-arm-btor2tools	10s
linux-arm-cvc4	24s
linux-arm-dfu-util	10s
linux-arm-ecpprog	4s
linux-arm-gtkwave	7s
linux-arm-icestorm	6s
linux-arm-iverilog	8s
linux-arm-libpoly	8s
linux-arm-lingeling	8s
linux-arm-mcy	5s
linux-arm-openfpgaloader	5s
linux-arm-picosat	15s
linux-arm-prjoxide	6s
linux-arm-prjtrellis	12s
linux-arm-python2	42s
linux-arm-sby	5s
linux-arm-sby-gui	10s
linux-arm-verilator	14m 3s
linux-arm-yices	12s
linux-arm-yosys	10s
linux-arm-z3	10s
linux-arm-ecpdap	8s
linux-arm-fujprog	6s
linux-arm-iceprogduino	9s
linux-arm-icesprog	6s
linux-arm-openocd	17s
linux-arm-system-resources	11s
linux-arm-utils	9s
linux-arm-cvc5	21s
linux-arm-bitwuzla	7s
linux-arm-boolector	6s
linux-arm-aiger	12s
linux-arm-eqy	5s
linux-arm-nextpnr-ecp5	26s
linux-arm-flask	7s
linux-arm-nextpnr-gowin	11s
linux-arm-cocotb	1m 10s
linux-arm-nextpnr-generic	14s
linux-arm-nextpnr-ice40	23s
linux-arm-nextpnr-machxo2	19s
linux-arm-nextpnr-nexus	10s
linux-arm-numpy	13s
linux-arm-pyhdl	2m 24s
linux-arm-python-programmers	8s
linux-arm-xdot	11s
linux-arm-mau	13s
linux-arm-scy	12s
linux-arm-smt-switch	14s
linux-arm-suprove	7s
linux-arm-apicula	14s
linux-arm-pono	14s
linux-arm-default	6m 20s
	34m 7s

Provide feedback