v1-beta.0

v1-beta - 2024-05-21

Added

• logs are grouped by step for better readability
• new build-args input to specify arguments to pass to lake build
• install elan step logs lean --version and lake --version

Changed

• lean-action no longer contains an actions/checkout step
• mathlib-cache renamed to get-mathlib-cache

Fixed

• improved default value for get-mathlib-cache