linux-arm #1023

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

Provide feedback