diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-10 14:03:36 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-10 14:07:46 +0100 |
| commit | 16c08f61139df87e07bbb37a9c7bccc5e62d0490 (patch) | |
| tree | 708f9ebb7e92b2dfb8b0e3f10d12f9f5bbb377c5 | |
| parent | dfef1a7b5ab07617d3c5a595f3764bdcc01ef23e (diff) | |
Ignore job duplicates
| -rw-r--r-- | src/ci/citool/src/jobs.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/ci/citool/src/jobs.rs b/src/ci/citool/src/jobs.rs index d161d17ebe6..45a188fb234 100644 --- a/src/ci/citool/src/jobs.rs +++ b/src/ci/citool/src/jobs.rs @@ -145,7 +145,11 @@ fn calculate_jobs( if matched_jobs.is_empty() { unknown_patterns.push(pattern.clone()); } else { - jobs.extend(matched_jobs); + for job in matched_jobs { + if !jobs.iter().any(|j| j.name == job.name) { + jobs.push(job); + } + } } } if !unknown_patterns.is_empty() { |
