seasawher/Lake update Action
LeanプロジェクトにおいてLeanのバージョンおよび依存しているライブラリのバージョンを更新します。
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| lake_package_directory | 更新するべきLakeパッケージが存在するディレクトリ。 | no | . |
Outputs
| name | description |
|---|---|
| lake_package_exists | 更新対象のLakeパッケージが存在したかどうか。 取りうる値: "true", "false" |
| lake_build_result | lake build コマンドの実行結果。 取りうる値: "success", "failure" |