Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix(ci): err due to update-node-dist being canceled
The `update-node-dist` workflow pushes a new commit to the branch it runs on. This commit triggers the workflow again. Prevent the second workflow from canceling the first just before the first would have finished. Every time the workflow is canceled it sends out a notification. Without `cancel-in-progress` there will be at most one workflow running and one pending. Most of the time the pending workflow will be the one that resulted from the commit pushed by the running workflow. If two PRs are merged quickly after each other first run will be finished even though it was not needed. However this will happen rarely and will at most waste a few minutes of CI runtime. Signed-off-by: Max <[email protected]>
- Loading branch information