Bump leanprover/lean-action from 1.pre.beta to 1.1.1

[dependabot]

Bumps leanprover/lean-action from 1.pre.beta to 1.1.1.

Release notes

Sourced from leanprover/lean-action's releases.

v1.1.1

Fixed

• fix bug with passing multiple arguments to lake build via build-args input
• fix false feature flag logic when using auto-config: true

v1.1.0

Added

• Windows GitHub runner support

Fixed

• replace actions/cache with actions/cache/restore to prevent redundant cache saving previously caused by the combination of actions/cache and actions/cache/save

v1.0.2

Changed

• use empty string as default value for status outputs instead of "NOT_RUN" to avoid set-output-parameters final step breaking log group expansion

Fixed

• correct typo of in configuration step: "lake check-test failed" -> "lake check-lint failed"
• fix log group expansion in failing steps due to set-output-parameters step and removing the end log group command when a step fails

v1.0.1

Changed

• use lake-manifest.json to detect mathlib dependency instead of lakefile.{lean, toml} to make lean-action more robust to changes in the configuration file formatting.

Fixed

• switch elan installation method from download platform tar to elan-init.sh to support addition runners, e.g., macos.

v1.0.0 - 2024-07-20

Added

• new auto-config input to specify if lean-action should use the Lake workspace to automatically determine which CI features to run, i.e., lake build, lake test, lake lint.
• new build input to specify if lean-action should run lake build.
• new lint input to specify if lean-action should run lake lint.
• parameterize functional tests by Lean toolchain to allow for testing lean-action on any Lean version.

Changed

• test input now defaults to auto-config. Users can still specify test: true to force lean-action to run lake test.
• removed lint-module input. Users should now use a @[lint_driver] to integrate with the Batteries testing framework.

Fixed

• improved GitHub cache keys to make caching more efficient and avoid edge cases when upgrading Lean version.

... (truncated)

Changelog

Sourced from leanprover/lean-action's changelog.

v1.1.1 - 2024-11-23

Fixed

• fix bug with passing multiple arguments to lake build via build-args input
• fix false feature flag logic when using auto-config: true

v1.1.0 - 2024-9-16

Added

• Windows GitHub runner support

Fixed

• replace actions/cache with actions/cache/restore to prevent redundant cache saving previously caused by the combination of actions/cache and actions/cache/save

v1.0.2 - 2024-8-26

Changed

• use empty string as default value for status outputs instead of "NOT_RUN" to avoid set-output-parameters final step breaking log group expansion

Fixed

• correct typo of in configuration step: "lake check-test failed" -> "lake check-lint failed"
• fix log group expansion in failing steps due to set-output-parameters step and removing the end log group command when a step fails

v1.0.1 - 2024-8-20

Changed

• use lake-manifest.json to detect mathlib dependency instead of lakefile.{lean, toml} to make lean-action more robust to changes in the configuration file formatting.

Fixed

• switch elan installation method from download platform tar to elan-init.sh to support addition runners, e.g., macos.

v1.0.0 - 2024-07-20

Added

• new auto-config input to specify if lean-action should use the Lake workspace to automatically determine which CI features to run, i.e., lake build, lake test, lake lint.

... (truncated)

Commits

• 465529c fix: false feature inputs with auto-config: true (#111)
• 5ccf7ae fix: use eval to expand lake build arguments (#109)
• 657d852 chore: upgrade functional test version to 4.13.0 (#107)
• b471931 chore: upgrade functional test version to 4.12.0 (#106)
• 9e84bf8 doc: update CHANGELOG.md for v1.1.0 (#102)
• 8fc2853 feat: add Windows runner support (#99)
• f8a2d35 chore: update functional test Lean version to 4.11.0 (#100)
• 0a25292 chore: add bug issue template
• 8c5574b fix: replace actions/cache with actions/cache/restore (#97)
• bd0ee73 doc: fix misspelling in README.md (#98)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)