Search results

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

Status: Open.

#165 In leanprover/lean-action;

· Seasawher opened on Jun 15, 2026

test-args input is silently ignored

bugSomething isn't workingSomething isn't working

Status: Open.

#163 In leanprover/lean-action;

· joehendrix opened on Apr 24, 2026

v1.5.0 Release

Status: Open.

#159 In leanprover/lean-action;

· austinletson opened on Apr 20, 2026

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

Status: Open.

#154 In leanprover/lean-action;

· javier-pm opened on Mar 24, 2026

Add a lint-args input analogous to test-args for linter arguments

Status: Open.

#150 In leanprover/lean-action;

· GZGavinZhao opened on Jan 16, 2026

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

Status: Open.

#128 In leanprover/lean-action;

· austinletson opened on Jun 7, 2025

Add an option to run lake update

Status: Open.

#127 In leanprover/lean-action;

· abdoo8080 opened on May 23, 2025

expose sub-jobs of the main action

Status: Open.

#124 In leanprover/lean-action;

· b-mehta opened on May 7, 2025

Add tests for GitHub caching behavior

Status: Open.

#118 In leanprover/lean-action;

· austinletson opened on Feb 21, 2025

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

enhancementNew feature or requestNew feature or request

Status: Open.

#74 In leanprover/lean-action;

· austinletson opened on Jul 9, 2024

Save cache even if a build fails

enhancementNew feature or requestNew feature or request

Status: Open.

#65 In leanprover/lean-action;

· austinletson opened on Jun 18, 2024

Redundant mathlib caching

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In leanprover/lean-action;

· austinletson opened on May 4, 2024