Add a step summary for the event publishing

scripts/publish_events.py

@@ -44,17 +44,27 @@ def main(event_dir: pathlib.Path, failure_path: pathlib.Path) -> None:
     print(f'Found {MILESTONE!r} milestone {milestone.number}')
 
     failures = {}
+    count = 0
     for issue in repo.get_issues(milestone=milestone):
         try:
             event = parse_issue(issue)
         except Exception as e:
             print(f'::error title=Failed to parse event {issue.title}::{e}')
             failures[issue.number] = str(e)
         else:
+            count += 1
             print(f'Parsed event: {issue.title}')
             with (event_dir / post_to_filename(event)).open('wb') as f:
                 frontmatter.dump(event, f)
 
+    summary = f'Parsed **{count}** issue(s) into event posts'
+    if 'GITHUB_STEP_SUMMARY' in os.environ:
+        with open(os.environ['GITHUB_STEP_SUMMARY'], 'w+') as f:
+            f.write('# Event publishing\n')
+            f.write(f'{summary}\n')
+    else:
+        print(summary)
+
     with open(failure_path, 'w') as f:
         json.dump(failures, f)