darwin-arm64

darwin-arm64 #1007

Sign in to view logs

Triggered via workflow run November 28, 2024 03:09

mmicko

completed ⁠ d224721

Status Success

Total duration 30m 34s

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-yosys-slang-plugin

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-cocotb

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