darwin-arm64 #931

Sign in to view logs

Triggered via workflow run September 19, 2024 02:24

mmicko

completed ⁠ 80182cf

Status Success

Total duration 14m 18s

Artifacts –

darwin-arm64.yml

on: workflow_run

darwin-arm64-cadical

darwin-arm64-yosys

darwin-arm64-python3

darwin-arm64-lingeling

darwin-arm64-btor2tools

darwin-arm64-ghdl

darwin-arm64-picosat

darwin-arm64-libpoly

darwin-arm64-graphviz

darwin-arm64-imctk

darwin-arm64-icestorm

darwin-arm64-prjtrellis

darwin-arm64-prjoxide

darwin-arm64-openfpgaloader

darwin-arm64-avy

darwin-arm64-cvc4

darwin-arm64-yices

darwin-arm64-z3

darwin-arm64-gtkwave

darwin-arm64-verilator

darwin-arm64-iverilog

darwin-arm64-utils

darwin-arm64-system-resources

darwin-arm64-eqy

darwin-arm64-xdot

darwin-arm64-formal

darwin-arm64-nextpnr-generic

darwin-arm64-nextpnr-ice40

darwin-arm64-nextpnr-ecp5

darwin-arm64-nextpnr-machxo2

darwin-arm64-nextpnr-nexus

darwin-arm64-nextpnr-himbaechel

darwin-arm64-apicula

darwin-arm64-python-programmers

darwin-arm64-pyhdl

darwin-arm64-boolector

darwin-arm64-bitwuzla

darwin-arm64-ghdl-yosys-plugin

darwin-arm64-aiger

darwin-arm64-cvc5

darwin-arm64-smt-switch

darwin-arm64-pono

darwin-arm64-default

Annotations

1 error

darwin-arm64-z3

Process completed with exit code 255.