Merge pull request #3212 from davidhewitt/merge-queue-fixup

fix usage for paths-filter in merge_group
This commit is contained in:
David Hewitt 2023-06-06 20:06:56 +00:00 committed by GitHub
commit 7a5ea8cf69
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -125,6 +125,8 @@ jobs:
if: ${{ inputs.rust == 'stable' && inputs.python-version != 'pypy-3.7' && inputs.python-version != 'pypy-3.8' }}
id: ffi-changes
with:
base: ${{ github.event.pull_request.base.ref || github.event.merge_group.base_ref }}
ref: ${{ github.event.pull_request.head.ref || github.event.merge_group.head_ref }}
filters: |
changed:
- 'pyo3-ffi/**'