linux-arm #1029

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

Provide feedback