windows-x64 #1340

Sign in to view logs

Triggered via workflow run September 19, 2024 02:09

mmicko

completed ⁠ 80182cf

Status Success

Total duration 10m 22s

Artifacts –

windows-x64.yml

on: workflow_run

windows-x64-cadical

windows-x64-python3

windows-x64-lingeling

windows-x64-btor2tools

windows-x64-yosys

windows-x64-libpoly

windows-x64-imctk

windows-x64-icestorm

windows-x64-prjtrellis

windows-x64-prjoxide

windows-x64-openfpgaloader

windows-x64-avy

windows-x64-cvc4

windows-x64-yices

windows-x64-gtkwave

windows-x64-verilator

windows-x64-iverilog

windows-x64-utils

windows-x64-system-resources

windows-x64-formal

windows-x64-nextpnr-generic

windows-x64-nextpnr-ice40

windows-x64-nextpnr-ecp5

windows-x64-nextpnr-machxo2

windows-x64-nextpnr-nexus

windows-x64-nextpnr-himbaechel

windows-x64-apicula

windows-x64-pyhdl

windows-x64-boolector

windows-x64-bitwuzla

windows-x64-eqy

windows-x64-cvc5

windows-x64-smt-switch

windows-x64-pono

windows-x64-default

Annotations

1 error

windows-x64-z3

Process completed with exit code 255.