ci: ignore dev/ changes except dev/diffs in workflows#4135

andygrove wants to merge 1 commit intoapache:mainapache/datafusion-comet:mainfrom

andygrove:chore/ci-ignore-dev-non-diffsandygrove/datafusion-comet:chore/ci-ignore-dev-non-diffsCopy head branch name to clipboard