windows-x64 #1340

Job	Run time
windows-x64-imctk	6s
windows-x64-python3	53s
windows-x64-icestorm	10s
windows-x64-lingeling	5s
windows-x64-openfpgaloader	10s
windows-x64-prjoxide	3s
windows-x64-prjtrellis	5s
windows-x64-yosys	12s
windows-x64-btor2tools	9s
windows-x64-cadical	9s
windows-x64-cvc4	8s
windows-x64-avy	4s
windows-x64-libpoly	5s
windows-x64-iverilog	5s
windows-x64-gtkwave	10s
windows-x64-utils	19s
windows-x64-verilator	7m 31s
windows-x64-yices	5s
windows-x64-z3	1m 24s
windows-x64-system-resources	8s
windows-x64-bitwuzla	6s
windows-x64-boolector	5s
windows-x64-cvc5	9s
windows-x64-eqy	7s
windows-x64-smt-switch	7s
windows-x64-nextpnr-ice40	5m 46s
windows-x64-nextpnr-generic	4m 6s
windows-x64-formal	25s
windows-x64-apicula	21s
windows-x64-nextpnr-ecp5	6m 10s
windows-x64-nextpnr-himbaechel	6m 13s
windows-x64-nextpnr-machxo2	5m 44s
windows-x64-nextpnr-nexus	5m 27s
windows-x64-pyhdl	15s
windows-x64-pono	13s
windows-x64-default	2m 19s
	49m 34s

Provide feedback