windows-x64 #1354

Job	Run time
windows-x64-yosys	9s
windows-x64-icestorm	5s
windows-x64-imctk	10s
windows-x64-cadical	9s
windows-x64-avy	10s
windows-x64-lingeling	9s
windows-x64-openfpgaloader	2m 13s
windows-x64-prjoxide	6s
windows-x64-prjtrellis	11s
windows-x64-python3	26s
windows-x64-btor2tools	9s
windows-x64-cvc4	14s
windows-x64-gtkwave	7s
windows-x64-iverilog	6s
windows-x64-libpoly	11s
windows-x64-system-resources	3s
windows-x64-utils	20s
windows-x64-verilator	7m 31s
windows-x64-yices	1m 55s
windows-x64-z3	16m 16s
windows-x64-eqy	10s
windows-x64-cvc5	11s
windows-x64-nextpnr-generic	3m 59s
windows-x64-formal	21s
windows-x64-apicula	10s
windows-x64-nextpnr-ecp5	6m 3s
windows-x64-nextpnr-himbaechel	6m 13s
windows-x64-nextpnr-ice40	5m 48s
windows-x64-nextpnr-machxo2	5m 39s
windows-x64-nextpnr-nexus	5m 22s
windows-x64-pyhdl	10s
windows-x64-boolector	5s
windows-x64-bitwuzla	8s
windows-x64-smt-switch	8s
windows-x64-pono	8s
windows-x64-default	2m 35s
	1h 7m 50s

Provide feedback