linux-arm #1017

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

Provide feedback