I would like to trigger a Github action if the Pipfile is not touched.
I can do something like
on:
push:
branches:
- master
paths-ignore:
- Pipfile*
but if a PR touches the Pipfile along with another non-Pipfile file, then the action triggers.
Is this possible?
Pipfileis changed, right?Pipfileis not changed. It is a subtle difference but it matters.Pipfileandfoo.py. If onlyfoo.pyis modified, then action triggers. If onlyPipfileis modified, then action doesn't trigger. If bothfoo.pyandPipfileis modified, then action doesn't trigger.Pipefileis changed.