windows-x64 #956

Job	Run time
windows-x64-dfu-util	10s
windows-x64-yosys	24m 3s
windows-x64-ecpprog	11s
windows-x64-icestorm	12s
windows-x64-prjoxide	14s
windows-x64-prjtrellis	14s
windows-x64-python3	53s
windows-x64-avy	12s
windows-x64-btor2tools	6s
windows-x64-cadical	9s
windows-x64-cvc4	22s
windows-x64-libpoly	11s
windows-x64-lingeling	12s
windows-x64-openfpgaloader	13s
windows-x64-yices	3m 14s
windows-x64-z3	11s
windows-x64-fujprog	4s
windows-x64-ecpdap	9s
windows-x64-gtkwave	7s
windows-x64-iceprogduino	12s
windows-x64-icesprog	13s
windows-x64-iverilog	14s
windows-x64-mcy	15s
windows-x64-openocd	17s
windows-x64-sby	11s
windows-x64-sby-gui	6s
windows-x64-verilator	16s
windows-x64-system-resources	11s
windows-x64-utils	14s
windows-x64-cvc5	16s
windows-x64-bitwuzla	8s
windows-x64-boolector	7s
windows-x64-nextpnr-ice40	28s
windows-x64-nextpnr-ecp5	24s
windows-x64-nextpnr-gowin	19s
windows-x64-nextpnr-generic	12s
windows-x64-nextpnr-machxo2	39s
windows-x64-nextpnr-nexus	10s
windows-x64-flask	14s
windows-x64-numpy	14s
windows-x64-mau	17s
windows-x64-pyhdl	2m 27s
windows-x64-python-programmers	16s
windows-x64-scy	14s
windows-x64-smt-switch	12s
windows-x64-apicula	10s
windows-x64-pono	15s
windows-x64-eqy	1m 55s
windows-x64-default	3m 47s
	46m 0s

Provide feedback