remove duplicate PRs (reruns)

afinn12 · afinn12 · commit cdc6a92c0fcc · 2024-11-05T19:24:44.000-05:00
diff --git a/scripts/fetch-ci-pr-data.js b/scripts/fetch-ci-pr-data.js
@@ -162,7 +162,7 @@ function compute_check_stats(prs_with_check_data, required_jobs) {
                 run_nums: [],    // list of PR numbers that this check is associated with
             };
         }
-        if ((check["name"] in check_stats)) {
+        if ((check["name"] in check_stats) && !check_stats[check["name"]]["run_nums"].includes(pr["number"])) {
             var check_stat = check_stats[check["name"]];
             check_stat["runs"] += 1;
             check_stat["urls"].push(pr["html_url"])

Original file line number	Diff line number	Diff line change
`@@ -162,7 +162,7 @@ function compute_check_stats(prs_with_check_data, required_jobs) {`
`162`	`162`	`run_nums: [], // list of PR numbers that this check is associated with`
`163`	`163`	`};`
`164`	`164`	`}`
`165`		`- if ((check["name"] in check_stats)) {`
	`165`	`+ if ((check["name"] in check_stats) && !check_stats[check["name"]]["run_nums"].includes(pr["number"])) {`
`166`	`166`	`var check_stat = check_stats[check["name"]];`
`167`	`167`	`check_stat["runs"] += 1;`
`168`	`168`	`check_stat["urls"].push(pr["html_url"])`