chore: merge Lean 4.30 version bump into gs-univariate-smooth - #5

Process completed with exit code 1.

Unexpected input(s) 'style_guide_path', valid inputs are ['github_token', 'api_key', 'provider', 'github_repository', 'pr_number', 'model', 'lean_keywords', 'additional_instructions_path', 'validate_title', 'upstream_path']

Can't add secret mask for empty string in ##[add-mask] command.