dorny/paths-filter seems abandoned #380
Description
The dorny/paths-filter action hasn't been updated in about 20 months, and more specifically, it doesn't work correctly with merge queues. This leads to GHA failures when PRs are merged, regardless of whether the build would succeed otherwise. These failures are bad for at least two reasons: they're incorrect in some (hopefully most) cases, and they train us to ignore failures.
I've turned off merge queues for now, but we should probably replace dorny/paths-filter with another package or our own git diff-based logic.
This one looks promising:
https://github.com/tj-actions/changed-files