Maisem Ali
|
d4916a8be3
|
.github/workflows: cancel previous CI runs on PR update
Currently scheduled runs are not canceled when we update PRs, those
results are unused and the resources are just wasted. Instead of doing
that, this PR makes it so that when a PR is updated (force-pushed or new
commit added) the previous runs are canceled.
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-using-a-fallback-value
Signed-off-by: Maisem Ali <maisem@tailscale.com>
|
4 years ago |
Brad Fitzpatrick