darwin-arm64 #1050

Job	Run time
darwin-arm64-imctk	5s
darwin-arm64-icestorm	9s
darwin-arm64-ghdl	2m 58s
darwin-arm64-graphviz	2m 25s
darwin-arm64-prjtrellis	7s
darwin-arm64-yosys	17m 55s
darwin-arm64-python3	32s
darwin-arm64-avy	6s
darwin-arm64-btor2tools	5s
darwin-arm64-cadical	10s
darwin-arm64-cvc4	8s
darwin-arm64-lingeling	4s
darwin-arm64-openfpgaloader	5s
darwin-arm64-picosat	10s
darwin-arm64-prjoxide	6s
darwin-arm64-gtkwave	5s
darwin-arm64-iverilog	5m 49s
darwin-arm64-libpoly	4s
darwin-arm64-system-resources	7s
darwin-arm64-utils	14s
darwin-arm64-verilator	10m 14s
darwin-arm64-yices	6s
darwin-arm64-z3	19m 14s
darwin-arm64-bitwuzla	12s
darwin-arm64-boolector	6s
darwin-arm64-cvc5	12s
darwin-arm64-aiger	6s
darwin-arm64-nextpnr-generic	8s
darwin-arm64-cocotb	3m 48s
darwin-arm64-apicula	9s
darwin-arm64-nextpnr-ecp5	14s
darwin-arm64-formal	5m 19s
darwin-arm64-nextpnr-himbaechel	17s
darwin-arm64-nextpnr-ice40	13s
darwin-arm64-nextpnr-machxo2	16s
darwin-arm64-nextpnr-nexus	8s
darwin-arm64-pyhdl	12s
darwin-arm64-python-programmers	18s
darwin-arm64-xdot	14s
darwin-arm64-smt-switch	6s
darwin-arm64-pono	10s
darwin-arm64-yosys-slang-plugin	10m 44s
darwin-arm64-eqy	3m 3s
darwin-arm64-ghdl-yosys-plugin	3m 8s
darwin-arm64-default	5m 16s
	1h 35m 17s

Provide feedback