windows-x64 #1033

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

Provide feedback