Skip to content

Actions: leanprover-community/LeanProject

Actions

Caches

Actions

Loading...
Loading

Showing caches from all workflows. Learn more about managing caches.
2 caches
2 caches
Branch

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
LakeBuild-Linux-3000596d70... cb7ab0c155619068b2c159c4e LakeBuild-Linux-3000596d704f59b6df5e67c1632d260077e1b74e1b501dc4471251c10634bb8f-32f341ae20c0c589fa813bd460ee541fd6332b5cb7ab0c155619068b2c159c4e 3.7 KB cached August 27, 2026 15:56 main Last used August 27, 2026 15:56
main
Last used August 27, 2026 15:56
LakeBuild-Linux-3000596d70... cb7ab0c155619068b2c159c4e LakeBuild-Linux-3000596d704f59b6df5e67c1632d260077e1b74e1b501dc4471251c10634bb8f-32f341ae20c0c589fa813bd460ee541fd6332b5cb7ab0c155619068b2c159c4e 3.6 KB cached August 26, 2026 02:50 refs/pull/84/merge Last used August 26, 2026 02:50
refs/pull/84/merge
Last used August 26, 2026 02:50