3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-21 06:35:49 +00:00

Merge from upstream

This commit is contained in:
Akash Levy 2026-07-06 07:47:32 -07:00
parent 9d39a82587
commit a2e38e2022
11 changed files with 865 additions and 43 deletions

View file

@ -49,7 +49,7 @@ jobs:
- id: set_output
run: |
if [ "${{ github.event_name }}" = "merge_group" ]; then
echo "should_skip=false" >> $GITHUB_OUTPUT
echo "should_skip=true" >> $GITHUB_OUTPUT
elif [ "${{ github.event_name }}" = "push" ]; then
should_skip=false
else