darwin-arm64

darwin-arm64 #762

Sign in to view logs

Re-run triggered April 13, 2024 06:34

mmicko

Status Success

Total duration 4m 5s

Artifacts –

darwin-arm64.yml

on: workflow_run

darwin-arm64-cadical

darwin-arm64-python3

darwin-arm64-lingeling

darwin-arm64-btor2tools

darwin-arm64-yosys

darwin-arm64-picosat

darwin-arm64-libpoly

darwin-arm64-graphviz

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

darwin-arm64-apicula

darwin-arm64-python-programmers

darwin-arm64-pyhdl

darwin-arm64-boolector

darwin-arm64-bitwuzla

darwin-arm64-eqy

darwin-arm64-aiger

darwin-arm64-cvc5

darwin-arm64-smt-switch

darwin-arm64-pono

darwin-arm64-default