Update README.md with mk_all (#130)

Update the README.md for the recent new feature

Update README.md with mk_all (#130)

Update the README.md for the recent new feature

Clarify and fix typo in changelog (#123)

This fix was proposed by @grunweg [in a review
comment](https://github.com/leanprover/lean-action/pull/122/files/6ca7a928afada530d4c9e1c8dbde19885b0cabe9#r2055927655).

fix: update the cache key to include {{ runner.arch }} (#117)

Before this change, GitHub runners with different CPU architecture would
share caches (for example, ubuntu-latest and ubuntu-24.04-arm).

This was potentially the cause of #116 

[See also the discussion of if it is possible to share files in `.lake`
across different architectures on
Zulip](https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/x64.20and.20arm64.20GitHub.20runners.20sharing.20cached.20.60.2Elake.60.20files)

fix: false feature inputs with `auto-config: true` (#111)

Previously, feature inputs only overrode auto configuration when set to
true.
Fix logic in config.sh so feature inputs set to false also override auto
configuration.

Closes #110

feat: add Windows runner support (#99)

Change `${{ github.action_path }}` to `${GITHUB_ACTION_PATH}` to add
support for Windows runners

Add a functional test on a Windows runner

Closes #75

fix: only end log group if lake command succeeds (#94)

Ending the log group when a lake command fails prevented the log group
from expanding on a command failure.

Related to #92

feat: use lake manifest to determine mathlib dependency (#88)

Add test to verify mathlib dependency was detected on `lake new
mathlibdep math`

Closes #82

feat: add `lint` input to control the `lake lint` step (#73)

The `lint` input functions similarly to the `test` input, allowing the
user to run `@[lint_driver]` targets with `lean-action`.

Remove the `lint-module` input as users can now use a lint driver to
call the Batteries linting framework.

Closes #46

docs: improve README.md inputs usage section (#45)

Change the specified values in the README.md usage section to `""`
instead of the default values.
Add a comment above `lint-module`, `build-args`, `use-mathilb-cache`,
and `use-github-cache` explaining the default behavior.
This format is based on
[action/checkout](https://github.com/actions/checkout?tab=readme-ov-file#usage).