Fix public URL

mdboom · mdboom · commit d580822a07e2 · 2024-03-19T14:45:29.000-04:00
diff --git a/bench_runner/scripts/generate_results.py b/bench_runner/scripts/generate_results.py
@@ -188,7 +188,7 @@ def save_generated_results(results: Iterable[Result], force: bool = False) -> No
     for directory in directories_affected:
         print(
             "::notice ::New results at "
-            f"https://github.com/{github_repo}_public/tree/main/{directory}"
+            f"https://github.com/{github_repo}-public/tree/main/{directory}"
         )
 
 

Original file line number	Diff line number	Diff line change
`@@ -188,7 +188,7 @@ def save_generated_results(results: Iterable[Result], force: bool = False) -> No`
`188`	`188`	`for directory in directories_affected:`
`189`	`189`	`print(`
`190`	`190`	`"::notice ::New results at "`
`191`		`- f"https://github.com/{github_repo}_public/tree/main/{directory}"`
	`191`	`+ f"https://github.com/{github_repo}-public/tree/main/{directory}"`
`192`	`192`	`)`
`193`	`193`
`194`	`194`