feat: add --version flag to lck-grep CLI
まだ誰も着手していません。
評価
調査の方向性
まず lck-grep の CLI エントリポイントを見つけ、Version.lean ファイルが存在するか確認します。コンテキストについては PR #9 を確認してください。CLI が --version を受け付け、スクリプトやバグレポートから呼び出された場合もエンジンのバージョンを出力すれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Problem
The lck-grep CLI tool has no --version flag, making it difficult to identify which build is running in scripts or bug reports.
Expected fix
Add a --version flag that prints the engine version (could be derived from a constant defined in a Version.lean or hardcoded initially).
References
- Suggested by AI code review on PR #9
- 主要言語
- Lean
- スター
- 2
- フォーク
- 1
- PR マージ指標
- 30日以内にマージされた PR はありません
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
lambdaclass/lambda_compiler_kit のほかの issue
-
難易度 1/5 1時間未満 初心者へのやさしさ 72/100
-
難易度 1/5 1時間未満 初心者へのやさしさ 68/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
enhancement
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
-
難易度 1/5 1時間未満 初心者へのやさしさ 55/100
lambdaclass/lambda_compiler_kit の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
area:tools bug good first issue help wanted priority:P2
難易度 2/5 1〜3時間 初心者へのやさしさ 90/100
TaewoooPark/Motifcode#14 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
newrelic-experimental/preflight#793 · コメント 1 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
caddyserver/caddy#8046 ·
-
P3 tool/tts type/bug
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
NousResearch/hermes-agent#117794 ·