Merge pull request #4448 from georgerennie/shiftadd_gating · YosysHQ/yosys@56b80bd

Triggered via push November 20, 2024 12:34

widlarizer

main

Status Success

Total duration 3h 43m 23s

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-56b80bdd222012dbe9193369dadec40a1a2d5d83	2.9 MB