leanprover-community/Lean release tagging

Creates a Git tag whenever your project updates to a new Lean release.

Trust Signals

name	description	required	default
GITHUB_TOKEN	Token used to access the GitHub API. When in doubt, set this to the value of secrets.GITHUB_TOKEN.	yes	—
before	Commit hash of the most recent commit before the push. Unless you know what you are doing, you do not need to change this.	no	${{ github.event.before }}
after	Commit hash of the most recent commit after the push. Unless you know what you are doing, you do not need to change this.	no	${{ github.event.after }}
do-release	Whether to create a GitHub release for the new tag. Allowed values: `true` and `false`. Default value: `false`.	no	false

no outputs