docs: release notes for v1-beta (#39)

CHANGELOG.md

@@ -6,14 +6,20 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Unreleased
 
+## v1-beta - 2024-05-21
+
 ### Added
 - logs are grouped by step for better readability
-- `build-args` input to specify arguments to pass to `lake build`
+- 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`
+
 ## v1-alpha - 2024-05-12
 
 ### Added

README.md

@@ -23,13 +23,13 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       # uses lean standard action with all default input values
-      - uses: leanprover/lean-action@v1-alpha
+      - uses: leanprover/lean-action@v1-beta
 ```
 
 ## Usage
 
 ```yaml
-- uses: leanprover/lean-action@v1-alpha
+- uses: leanprover/lean-action@v1-beta
   with:
     # Run lake test.
     # Allowed values: "true" or "false".
@@ -70,7 +70,7 @@ jobs:
 ### Lint the `MyModule` module and check package for reservoir eligibility
 
 ```yaml
-- uses: leanprover/lean-action@v1-alpha
+- uses: leanprover/lean-action@v1-beta
   with:
     lint-module: MyModule
     check-reservoir-eligibility: true
@@ -79,7 +79,7 @@ jobs:
 ### Don't run `lake test` or use Mathlib cache
 
 ```yaml
-- uses: leanprover/lean-action@v1-alpha
+- uses: leanprover/lean-action@v1-beta
   with:
     test: false
     use-mathlib-cache: false
@@ -88,7 +88,7 @@ jobs:
 ### Run lake build with `--wfail`
 
 ```yaml
-- uses: leanprover/lean-action@v1-alpha
+- uses: leanprover/lean-action@v1-beta
   with:
     build-args: "--wfail"
 ```
@@ -101,7 +101,7 @@ For example, `leanprover-community/import-graph` uses the setup from `lean-actio
 
 ```yaml
 steps:
-  - uses: leanprover/lean-action@v1-alpha
+  - uses: leanprover/lean-action@v1-beta
     with:
       check-reservoir-eligibility: true
   # use setup from lean-action to perform the following steps