6947170cc6
Cancel in-progress GitHub workflow run on a subsequent pull-request pushes
Cancel in-progress GitHub workflow run on a subsequent pull-request pushes