Issues

• Replace Old lean-toolchain Strings

  enhancement
  leanprover-community/lean-update#265 · Filter by author Seasawher opened on Aug 6, 2026

• Ability to Choose Which Dependency Packages to Watch

  enhancement
  leanprover-community/lean-update#264 · Filter by author Seasawher opened on Aug 5, 2026

• refactor

  priority-high
  leanprover-community/lean-update#263 · Filter by author Seasawher opened on Aug 5, 2026
  1

• remove on_update_fails: fail option

  priority-high
  leanprover-community/lean-update#262 · Filter by author Seasawher opened on Aug 5, 2026

• If a PR already exists, it should do nothing

  bug
  leanprover-community/lean-update#260 · Filter by author Seasawher opened on Aug 4, 2026

• step-by-step updates

  enhancement
  leanprover-community/lean-update#251 · Filter by author Seasawher opened on Jul 15, 2026

• use skimmer

  enhancement
  leanprover-community/lean-update#248 · Filter by author Seasawher opened on Jul 9, 2026
  1

• Validate action input values instead of silently ignoring invalid configuration

  leanprover-community/lean-update#230 · Filter by author Seasawher opened on Jun 14, 2026

• list of dependencies which are being modified in issue/PR body

  leanprover-community/lean-update#105 · Filter by author Seasawher opened on Mar 21, 2025

• new toolchain in title/body of PR/issue

  enhancement
  leanprover-community/lean-update#104 · Filter by author Seasawher opened on Mar 21, 2025

• customize the author of commit

  priority-low
  leanprover-community/lean-update#45 · Filter by author Seasawher opened on Mar 3, 2025

• zulip notification

  priority-low
  leanprover-community/lean-update#34 · Filter by author Seasawher opened on Mar 3, 2025