Browse Source

[BRE-1330] Exclude deleted workflows from linting (#480)

pull/484/head
Andy Pixley 1 month ago committed by GitHub
parent
commit
73039efffa
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 4
      .github/workflows/workflow-linter.yml

4
.github/workflows/workflow-linter.yml

@ -28,9 +28,9 @@ jobs: @@ -28,9 +28,9 @@ jobs:
id: changed-workflows
run: |
if ${{ github.event_name == 'pull_request' }}; then
changed_files=$(git diff --name-only -r HEAD^1 HEAD | xargs)
changed_files=$(git diff --name-only --diff-filter=d -r HEAD^1 HEAD | xargs)
else
changed_files=$(git diff --name-only "${{ github.event.before }}" "${{ github.event.after }}" | xargs)
changed_files=$(git diff --name-only --diff-filter=d "${{ github.event.before }}" "${{ github.event.after }}" | xargs)
fi
count=$(( 0 ))

Loading…
Cancel
Save