linux-arm #942

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

Provide feedback