darwin-arm64 #700

Job	Run time
darwin-arm64-graphviz	23s
darwin-arm64-prjoxide	10s
darwin-arm64-icestorm	3s
darwin-arm64-openfpgaloader	6s
darwin-arm64-prjtrellis	9s
darwin-arm64-btor2tools	5s
darwin-arm64-cadical	7s
darwin-arm64-avy	6s
darwin-arm64-cvc4	18s
darwin-arm64-lingeling	4s
darwin-arm64-picosat	6s
darwin-arm64-python3	24s
darwin-arm64-yosys	12m 41s
darwin-arm64-gtkwave	7s
darwin-arm64-iverilog	5s
darwin-arm64-libpoly	4s
darwin-arm64-system-resources	11s
darwin-arm64-utils	10s
darwin-arm64-verilator	8m 24s
darwin-arm64-yices	6s
darwin-arm64-z3	13m 54s
darwin-arm64-aiger	6s
darwin-arm64-bitwuzla	12s
darwin-arm64-boolector	12s
darwin-arm64-cvc5	16s
darwin-arm64-formal	10s
darwin-arm64-nextpnr-ice40	16s
darwin-arm64-nextpnr-generic	13s
darwin-arm64-xdot	15s
darwin-arm64-apicula	1m 58s
darwin-arm64-nextpnr-ecp5	21s
darwin-arm64-nextpnr-gowin	5m 0s
darwin-arm64-nextpnr-machxo2	16s
darwin-arm64-nextpnr-nexus	16s
darwin-arm64-pyhdl	2m 4s
darwin-arm64-python-programmers	16s
darwin-arm64-smt-switch	12s
darwin-arm64-pono	7s
darwin-arm64-eqy	1m 45s
darwin-arm64-default	4m 15s
	55m 53s

Provide feedback