I have a workflow that deploys my project on push to master. When I push several changes in rapid succession, this causes multiple simultaneous deployments to happen. This happens a lot when rapidly merging automated PRs, such as dependabot PRs – when I merge 6 dependabot PRs, I need to deploy only once; not 6 times. I need to restrict the number of concurrent workflow runs to 1 so that only a single deployment runs at a time, or a way to queue workflows to run after some “debounce” period. What options do I have?