Commit f715119
authored
[CI] Cancel previous run when new commit pushed (#11941)
In quite some PRs, we may need to push commits when the run is still in
progress.
Currently we will run all the workflow to the end by default, which is
somehow a waste of machine resource.
This PR use
https://docs.github.com/en/actions/using-jobs/using-concurrency to group
tests for Linux and Windows pre-commit tests, and cancel-in-progress if
new commits are pushed.1 parent 2f644e3 commit f715119
File tree
2 files changed
+10
-0
lines changed- .github/workflows
2 files changed
+10
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
24 | 29 | | |
25 | 30 | | |
26 | 31 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
26 | 31 | | |
27 | 32 | | |
28 | 33 | | |
| |||
0 commit comments