Merge pull request #4645 from georgerennie/george/btor_undef_array_init · YosysHQ/yosys@014cb53

Triggered via push November 11, 2024 15:18

jix

main

Status Success

Total duration 2m 22s

Artifacts 1

prepare-docs.yml

on: push

1 warning

The following actions uses Node.js version which is deprecated and will be forced to run on node20: dfm/rtds-action@v1.1.0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Produced during runtime

Name	Size
cmd-ref-014cb531aab1ce33b8c38746e5f483b8d960492d Expired	2.9 MB