Merge pull request #8664 from amshinde/remove-ignore-paths-ga

github-actions: Remove ignore paths for required CI checks
This commit is contained in:
Greg Kurz
2023-12-18 12:49:21 +01:00
committed by GitHub
3 changed files with 0 additions and 4 deletions

View File

@@ -6,7 +6,6 @@ on:
- edited
- reopened
- synchronize
paths-ignore: [ '**.md', '**.png', '**.jpg', '**.jpeg', '**.svg', '/docs/**' ]
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}

View File

@@ -13,8 +13,6 @@ on:
- synchronize
- reopened
- labeled
paths-ignore:
- 'docs/**'
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}

View File

@@ -5,7 +5,6 @@ on:
- edited
- reopened
- synchronize
paths-ignore: [ '**.md', '**.png', '**.jpg', '**.jpeg', '**.svg', '/docs/**' ]
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}