Results are now reported via the GitHub Checks API, instead of creating
commit comments. This reduces overall noise and integrates nicely with
the GitHub UI. Additionally, per-file warnings and errors are now also
added as file annotations.
This also changes the expected build log naming to support unique build
names (which prevents them from clashing during concurrent workflow
runs). Build log names are now expected to be of the form
"build-${name}-${run_id}-${run_number}-log".
Finally, this updates all package dependencies to their newest version.