darwin-arm64 #933

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

Provide feedback