darwin-arm64 #1010

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

Provide feedback