Labels

Auto update for Lean dependencies

Auto update for Lean dependencies

Pull requests that update a dependency file

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

Zulipでこれに関する質問を投稿し、答えを得ている

Zulip でこれについて質問を投稿するべき

Zulipにこれに関する質問を投稿した

オプション（set_optionの設定項目）

解決済みにすることを目指さず、残しておくもの

EXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデア

重要であり、早めに更新・執筆するべき