leanprover-community/Mathlib update checker
Determines which Mathlib releases are available for the project to upgrade to.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| intermediate_releases | Controls which Mathlib releases to upgrade to. There are three options: * `all`: update to each release, followed by Mathlib `master` (default) * `latest`: update only to the newest release, followed by Mathlib `master` * `master`: update only to Mathlib `master` | no | all |
| lake_package_directory | The directory containing the Lake package to build. This parameter is passed to the lake-package-directory argument of leanprover/lean-action. | no | . |
| legacy_update | If set to `true`, executes `lake -R -Kenv=dev update` instead of `lake update`. | no | false |
Outputs
| name | description |
|---|---|
| is-update-available | Is there a new version available that can be updated to? |
| new-tags | New Mathlib release tags, as a JSON array of strings. |