Skip to content

windows-x64

windows-x64 #997

Triggered via workflow run November 20, 2023 02:04
@mmickommicko
completed 1a8a68f
Status Success
Total duration 16m 37s
Artifacts

windows-x64.yml

on: workflow_run
windows-x64-python3
32s
windows-x64-python3
windows-x64-cadical
2m 7s
windows-x64-cadical
windows-x64-lingeling
6s
windows-x64-lingeling
windows-x64-btor2tools
6s
windows-x64-btor2tools
windows-x64-yosys
12s
windows-x64-yosys
windows-x64-libpoly
9s
windows-x64-libpoly
windows-x64-icestorm
9s
windows-x64-icestorm
windows-x64-prjtrellis
12s
windows-x64-prjtrellis
windows-x64-prjoxide
11s
windows-x64-prjoxide
windows-x64-dfu-util
6s
windows-x64-dfu-util
windows-x64-ecpprog
5s
windows-x64-ecpprog
windows-x64-openfpgaloader
2m 16s
windows-x64-openfpgaloader
windows-x64-avy
5s
windows-x64-avy
windows-x64-cvc4
19s
windows-x64-cvc4
windows-x64-yices
11s
windows-x64-yices
windows-x64-z3
13m 13s
windows-x64-z3
windows-x64-mcy
5s
windows-x64-mcy
windows-x64-sby
8s
windows-x64-sby
windows-x64-sby-gui
6s
windows-x64-sby-gui
windows-x64-gtkwave
6s
windows-x64-gtkwave
windows-x64-verilator
9s
windows-x64-verilator
windows-x64-iverilog
12s
windows-x64-iverilog
windows-x64-ecpdap
4s
windows-x64-ecpdap
windows-x64-fujprog
4s
windows-x64-fujprog
windows-x64-iceprogduino
3s
windows-x64-iceprogduino
windows-x64-openocd
7s
windows-x64-openocd
windows-x64-icesprog
10s
windows-x64-icesprog
windows-x64-utils
11s
windows-x64-utils
windows-x64-system-resources
4s
windows-x64-system-resources
windows-x64-numpy
16s
windows-x64-numpy
windows-x64-nextpnr-generic
8s
windows-x64-nextpnr-generic
windows-x64-nextpnr-ice40
19s
windows-x64-nextpnr-ice40
windows-x64-nextpnr-ecp5
16s
windows-x64-nextpnr-ecp5
windows-x64-nextpnr-machxo2
20s
windows-x64-nextpnr-machxo2
windows-x64-nextpnr-nexus
9s
windows-x64-nextpnr-nexus
windows-x64-nextpnr-gowin
13s
windows-x64-nextpnr-gowin
windows-x64-flask
16s
windows-x64-flask
windows-x64-python-programmers
12s
windows-x64-python-programmers
windows-x64-pyhdl
13s
windows-x64-pyhdl
windows-x64-mau
11s
windows-x64-mau
windows-x64-scy
8s
windows-x64-scy
windows-x64-boolector
4s
windows-x64-boolector
windows-x64-bitwuzla
2m 0s
windows-x64-bitwuzla
windows-x64-eqy
11s
windows-x64-eqy
windows-x64-cvc5
6s
windows-x64-cvc5
windows-x64-apicula
12s
windows-x64-apicula
windows-x64-smt-switch
13s
windows-x64-smt-switch
windows-x64-pono
7s
windows-x64-pono
windows-x64-default
2m 52s
windows-x64-default
Fit to window
Zoom out
Zoom in

Annotations

2 errors
windows-x64-boolector
Process completed with exit code 2.
windows-x64-cvc5
Process completed with exit code 2.