Improve reporting from the action

oliver-butterley / lean-update

The action attempts to update Lean and Mathlib. If an update is available then the updated version is tested. This allows for automatic committing of the updated project, opening PRs or opening issues.

MIT License

6 stars 2 forks source link

Improve reporting from the action #12

Open oliver-butterley opened 6 months ago

oliver-butterley commented 6 months ago

Improve the user experience by adding the relevant details as a job summary.
Included detailed feedback from some steps (e.g., git diff or build errors) so that this info can be used in later steps (e.g., adding details to an issue).