Infrastructure to run a Sat solver as a command · YosysHQ/yosys@ccf0453

Triggered via pull request April 9, 2024 14:58

Coloquinte

synchronize #4303

Coloquinte:sat_choice

Status Success

Total duration 24m 51s

Artifacts 1

test-linux.yml

on: pull_request

Matrix: test-linux

Produced during runtime

Name	Size
compiled-yosys Expired	96.5 MB