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

Triggered via pull request April 9, 2024 14:46

Coloquinte

synchronize #4303

Coloquinte:sat_choice

Status Success

Total duration 26m 20s

Artifacts 1

test-linux.yml

on: pull_request

Matrix: test-linux

Produced during runtime

Name	Size
compiled-yosys Expired	96.5 MB