Use dorny/paths-filter@v3.0.0 (#16082)

This commit is contained in:
Zoltan Haindrich 2024-03-08 09:05:26 +01:00 committed by GitHub
parent daf03939a9
commit 60766495aa
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 3 additions and 3 deletions

View File

@ -33,7 +33,7 @@ jobs:
# the common extension in revised ITs is different from the one in standard ITs # the common extension in revised ITs is different from the one in standard ITs
common-extensions: ${{ steps.filter.outputs.common-extensions }} common-extensions: ${{ steps.filter.outputs.common-extensions }}
steps: steps:
- uses: dorny/paths-filter@v3 - uses: dorny/paths-filter@v3.0.0
if: github.event_name == 'pull_request' if: github.event_name == 'pull_request'
id: filter id: filter
with: with:

View File

@ -32,7 +32,7 @@ jobs:
core: ${{ steps.filter.outputs.core || github.event_name != 'pull_request'}} core: ${{ steps.filter.outputs.core || github.event_name != 'pull_request'}}
common-extensions: ${{ steps.filter.outputs.common-extensions }} common-extensions: ${{ steps.filter.outputs.common-extensions }}
steps: steps:
- uses: dorny/paths-filter@v3 - uses: dorny/paths-filter@v3.0.0
if: github.event_name == 'pull_request' if: github.event_name == 'pull_request'
id: filter id: filter
with: with:

View File

@ -54,7 +54,7 @@ jobs:
# run everything if not a PR # run everything if not a PR
core: ${{ steps.filter.outputs.core || github.event_name != 'pull_request'}} core: ${{ steps.filter.outputs.core || github.event_name != 'pull_request'}}
steps: steps:
- uses: dorny/paths-filter@v3 - uses: dorny/paths-filter@v3.0.0
if: github.event_name == 'pull_request' if: github.event_name == 'pull_request'
id: filter id: filter
with: with: