linux-arm64 #1358

Job	Run time
linux-arm64-yosys	19m 31s
linux-arm64-graphviz	53s
linux-arm64-icestorm	10s
linux-arm64-imctk	10s
linux-arm64-openfpgaloader	2m 3s
linux-arm64-prjoxide	9s
linux-arm64-picosat	8s
linux-arm64-prjtrellis	5s
linux-arm64-python3	21s
linux-arm64-avy	9s
linux-arm64-btor2tools	10s
linux-arm64-cadical	10s
linux-arm64-cvc4	14s
linux-arm64-iverilog	11s
linux-arm64-gtkwave	4s
linux-arm64-lingeling	4s
linux-arm64-libpoly	5s
linux-arm64-python2	20s
linux-arm64-system-resources	4s
linux-arm64-utils	19s
linux-arm64-verilator	7m 22s
linux-arm64-yices	10s
linux-arm64-z3	17m 55s
linux-arm64-aiger	8s
linux-arm64-boolector	11s
linux-arm64-bitwuzla	8s
linux-arm64-cvc5	9s
linux-arm64-nextpnr-generic	19s
linux-arm64-xdot	16s
linux-arm64-formal	3m 51s
linux-arm64-apicula	9s
linux-arm64-nextpnr-ecp5	21s
linux-arm64-nextpnr-ice40	15s
linux-arm64-nextpnr-himbaechel	10s
linux-arm64-nextpnr-machxo2	20s
linux-arm64-nextpnr-nexus	9s
linux-arm64-pyhdl	9s
linux-arm64-python-programmers	14s
linux-arm64-cocotb	9s
linux-arm64-suprove	6s
linux-arm64-smt-switch	10s
linux-arm64-pono	13s
linux-arm64-eqy	1m 37s
linux-arm64-default	4m 15s
	1h 4m 6s

Provide feedback