How to cancel previous runs in the PR when you push new commits(update the current) in github-actions April 3, 2023 by Tarik