Commit 5bfc164
[WIP] Fix CI triggering twice on PR and push (#603)
* Initial plan
* Fix duplicate CI runs by limiting push trigger to master branch
Co-authored-by: pancetta <7158893+pancetta@users.noreply.github.com>
* Add documentation for CI workflow triggers
Co-authored-by: pancetta <7158893+pancetta@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: pancetta <7158893+pancetta@users.noreply.github.com>1 parent d3e0bb9 commit 5bfc164
2 files changed
Lines changed: 12 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| 7 | + | |
| 8 | + | |
7 | 9 | | |
8 | 10 | | |
9 | 11 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
7 | 17 | | |
8 | 18 | | |
9 | 19 | | |
| |||
0 commit comments