Issues

• Add a nanoda-modules input to specify modules to check by nanoda

  leanprover/lean-action#179 · Filter by author petr-kratochvil opened on Aug 11, 2026

• nanoda fails on Lean 4.28 export stream with invalid digit

  leanprover/lean-action#169 · Filter by author SMC17 opened on Jul 21, 2026
  1

• feature request: Save lake build and lake test logs for downstream workflow steps

  leanprover/lean-action#165 · Filter by author Seasawher opened on Jun 15, 2026

• Adopt setup + post-step cache pattern (don't run commands in the action)

  leanprover/lean-action#154 · Filter by author javier-pm opened on Mar 24, 2026

• Add an elan input which controls if lean-action installs elan

  leanprover/lean-action#128 · Filter by author austinletson opened on Jun 7, 2025

• Add an option to run lake update

  leanprover/lean-action#127 · Filter by author abdoo8080 opened on May 23, 2025
  1

• expose sub-jobs of the main action

  leanprover/lean-action#124 · Filter by author b-mehta opened on May 7, 2025
  7

• Add tests for GitHub caching behavior

  leanprover/lean-action#118 · Filter by author austinletson opened on Feb 21, 2025

• (DRAFT RFC) Add support for building leanblueprint to lean-action

  enhancement
  leanprover/lean-action#74 · Filter by author austinletson opened on Jul 9, 2024

• Save cache even if a build fails

  enhancement
  leanprover/lean-action#65 · Filter by author austinletson opened on Jun 18, 2024

• Redundant mathlib caching

  enhancement
  leanprover/lean-action#3 · Filter by author austinletson opened on May 4, 2024
  2