mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-14 11:15:40 +00:00
Code Activity

codecov: fix not skipping when pushing on

Browse source
This commit is contained in:
Miodrag Milanovic 2026-07-10 17:55:11 +02:00
parent 6fdd5bb11e
commit 0f8f70eb84
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/test-verific.yml vendored
View file

@ -14,7 +14,7 @@ jobs:
should_skip: ${{ steps.set_output.outputs.should_skip }}
steps:
- id: skip_check
if: ${{ github.event_name != 'merge_group' }}
if: ${{ github.event_name != 'merge_group' && github.event_name != 'push' }}
uses: mmicko/skip-duplicate-actions@master
with:
# don't run on documentation changes
@ -25,7 +25,7 @@ jobs:
- id: set_output
run: |
if [ "${{ github.event_name }}" = "merge_group" ]; then
if [ "${{ github.event_name }}" = "merge_group" ] || [ "${{ github.event_name }}" = "push" ]; then
echo "should_skip=false" >> $GITHUB_OUTPUT
else
echo "should_skip=${{ steps.skip_check.outputs.should_skip }}" >> $GITHUB_OUTPUT