Print GitHub summary directly if running locally

scripts/util.py

@@ -11,7 +11,7 @@ def read_json_file(path: Path) -> dict:
 def add_github_summary(summary: str):
 	"""Add a line to the GitHub Actions summary for the current step."""
 	if "GITHUB_STEP_SUMMARY" not in os.environ:
-		print(f"Not running on GHA, would have set summary: {summary}")
+		print(summary)
 		return
 	with open(os.environ["GITHUB_STEP_SUMMARY"], "a") as summary_file:
 		print(summary, file=summary_file)