linux-arm #963

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

Provide feedback