darwin-arm64 #677

Job	Run time
darwin-arm64-python3	14s
darwin-arm64-graphviz	22s
darwin-arm64-icestorm	10s
darwin-arm64-openfpgaloader	2m 26s
darwin-arm64-prjoxide	3s
darwin-arm64-prjtrellis	2m 12s
darwin-arm64-yosys	12m 45s
darwin-arm64-avy	10s
darwin-arm64-btor2tools	4s
darwin-arm64-cadical	9s
darwin-arm64-gtkwave	15s
darwin-arm64-iverilog	16s
darwin-arm64-cvc4	12s
darwin-arm64-libpoly	14s
darwin-arm64-lingeling	4s
darwin-arm64-picosat	9s
darwin-arm64-utils	10s
darwin-arm64-verilator	9m 25s
darwin-arm64-yices	6s
darwin-arm64-z3	13m 52s
darwin-arm64-system-resources	6s
darwin-arm64-bitwuzla	12s
darwin-arm64-boolector	6s
darwin-arm64-aiger	5s
darwin-arm64-nextpnr-generic	3m 42s
darwin-arm64-formal	3m 57s
darwin-arm64-nextpnr-gowin	5m 11s
darwin-arm64-nextpnr-ecp5	5m 15s
darwin-arm64-nextpnr-ice40	6m 4s
darwin-arm64-nextpnr-machxo2	4m 50s
darwin-arm64-nextpnr-nexus	4m 49s
darwin-arm64-numpy	1m 8s
darwin-arm64-pyhdl	2m 2s
darwin-arm64-python-programmers	9s
darwin-arm64-xdot	14s
darwin-arm64-cvc5	19s
darwin-arm64-apicula	12s
darwin-arm64-smt-switch	11s
darwin-arm64-pono	7s
darwin-arm64-eqy	1m 51s
darwin-arm64-default	3m 52s
	1h 27m 40s

Provide feedback