Merge pull request #4338 from jix/fix-formalff-setundef-srst · YosysHQ/yosys@1527cc8

Triggered via push April 15, 2024 16:34

jix

main

Status Success

Total duration 24m 17s

Artifacts 1

test-linux.yml

on: push

Matrix: test-linux

Produced during runtime

Name	Size
compiled-yosys Expired	96.4 MB