This looks like a great way to report the autograder's results.
https://github.blog/2022-05-09-supercharging-github-actions-with-job-summaries/
In a nutshell, $GITHUB_STEP_SUMMARY is an environment variable containing a filename. You write Markdown into that file, and it shows up for the user.
This looks like a great way to report the autograder's results.
https://github.blog/2022-05-09-supercharging-github-actions-with-job-summaries/
In a nutshell,
$GITHUB_STEP_SUMMARYis an environment variable containing a filename. You write Markdown into that file, and it shows up for the user.