How do I trigger a Github action if a file is not touched?

Question

I would like to trigger a Github action if the Pipfile is not touched.

I can do something like

on:
  push:
    branches:
      - master