windows-x64 #1388

Job	Run time
windows-x64-icestorm	31s
windows-x64-python3	28s
windows-x64-imctk	23s
windows-x64-yosys	7s
windows-x64-avy	11s
windows-x64-btor2tools	4s
windows-x64-cadical	11s
windows-x64-lingeling	10s
windows-x64-openfpgaloader	4s
windows-x64-prjoxide	10s
windows-x64-prjtrellis	8s
windows-x64-cvc4	8s
windows-x64-gtkwave	5m 11s
windows-x64-iverilog	19s
windows-x64-libpoly	5s
windows-x64-system-resources	10s
windows-x64-utils	12s
windows-x64-verilator	6m 59s
windows-x64-yices	1m 44s
windows-x64-z3	17m 29s
windows-x64-eqy	12s
windows-x64-cvc5	13s
windows-x64-boolector	13s
windows-x64-bitwuzla	14s
windows-x64-nextpnr-ice40	1m 21s
windows-x64-formal	23s
windows-x64-nextpnr-ecp5	35s
windows-x64-apicula	11s
windows-x64-nextpnr-generic	10s
windows-x64-nextpnr-himbaechel	4m 15s
windows-x64-nextpnr-machxo2	22s
windows-x64-nextpnr-nexus	23s
windows-x64-pyhdl	18s
windows-x64-smt-switch	7s
windows-x64-pono	15s
windows-x64-default	2m 14s
	46m 10s

Provide feedback