linux-arm #1022

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

Provide feedback