linux-arm #988

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

Provide feedback