I made a mistake in #279, for PRs that modify both .hs an .md the dummy would pass 🙄 Copying the logic to .mergify.yml should fix this. 🤞
* Filter paths that run CI * Add dummy CI to check
This change configures the mergify bot so that: - PR are validated with the tip of the project before merge to prevent incompatible PRs to be merged at once which could break the CI. - PR maintainer uses a consistent smart squash workflow
