Search results

Add tests for GitHub caching behavior

Status: Open.

#118 In leanprover/lean-action;

· austinletson opened on Feb 21, 2025

Crashes on ubuntu-24.04-arm

bugSomething isn't workingSomething isn't working

Status: Open.

#116 In leanprover/lean-action;

· seanmcl opened on Feb 14, 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