Skip to content

Actions: leanprover/lean-beam

Caches
Open Actions navigation Caches

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
Linux-X64-lake-artifacts-v... 6e8f37306ac4317e10a2319a5 Linux-X64-lake-artifacts-v2-8a6c951f14bc8e94cf457f1d93d7ea428b2cacdd84e93e5dd8d562b9600d623b-8a1b1768b721af56e8f37306ac4317e10a2319a5 1.1 GB cached October 21, 2026 05:08 refs/pull/306/merge Last used October 21, 2026 05:08
refs/pull/306/merge
Last used October 21, 2026 05:08
macOS-ARM64-lake-artifacts... 293fa6b40b254336b13b4bdba macOS-ARM64-lake-artifacts-v2-8a6c951f14bc8e94cf457f1d93d7ea428b2cacdd84e93e5dd8d562b9600d623b-72675b490f33944293fa6b40b254336b13b4bdba 780 MB cached October 21, 2026 04:14 main Last used October 21, 2026 05:04
main
Last used October 21, 2026 05:04
Linux-X64-lake-artifacts-v... e888dd575c8983885efa41c24 Linux-X64-lake-artifacts-v2-8a6c951f14bc8e94cf457f1d93d7ea428b2cacdd84e93e5dd8d562b9600d623b-94b9934ff5c517ae888dd575c8983885efa41c24 1.1 GB cached October 21, 2026 04:34 refs/pull/306/merge Last used October 21, 2026 05:04
refs/pull/306/merge
Last used October 21, 2026 05:04
Linux-elan-1bf65e2af2f2e2b... d4d7e86b919316ca984f3c1dd Linux-elan-1bf65e2af2f2e2b05e46476a6727a55da19045fd4d7e86b919316ca984f3c1dd 800 MB cached October 21, 2026 03:07 main Last used October 21, 2026 05:03
main
Last used October 21, 2026 05:03
msys2-pkgs-upd:true-conf:8... 4edecf5cf450e63170e345a48 msys2-pkgs-upd:true-conf:87a46f0d-files:cf3e9e715c647a78529b07104848c62819ba8544edecf5cf450e63170e345a48 140 MB cached October 21, 2026 03:06 main Last used October 21, 2026 05:03
main
Last used October 21, 2026 05:03
macOS-elan-1bf65e2af2f2e2b... d4d7e86b919316ca984f3c1dd macOS-elan-1bf65e2af2f2e2b05e46476a6727a55da19045fd4d7e86b919316ca984f3c1dd 2.2 GB cached October 21, 2026 04:15 main Last used October 21, 2026 05:03
main
Last used October 21, 2026 05:03
Linux-X64-lake-artifacts-v... 444823234db6ff31332a8956f Linux-X64-lake-artifacts-v2-8a6c951f14bc8e94cf457f1d93d7ea428b2cacdd84e93e5dd8d562b9600d623b-d8a4b63bf0e0120444823234db6ff31332a8956f 750 MB cached October 21, 2026 04:41 refs/pull/326/merge Last used October 21, 2026 04:41
refs/pull/326/merge
Last used October 21, 2026 04:41
Linux-X64-lake-artifacts-v... 293fa6b40b254336b13b4bdba Linux-X64-lake-artifacts-v2-8a6c951f14bc8e94cf457f1d93d7ea428b2cacdd84e93e5dd8d562b9600d623b-72675b490f33944293fa6b40b254336b13b4bdba 750 MB cached October 21, 2026 03:15 main Last used October 21, 2026 04:36
main
Last used October 21, 2026 04:36
macOS-elan-1bf65e2af2f2e2b... d4d7e86b919316ca984f3c1dd macOS-elan-1bf65e2af2f2e2b05e46476a6727a55da19045fd4d7e86b919316ca984f3c1dd 2.2 GB cached October 21, 2026 04:16 refs/pull/327/merge Last used October 21, 2026 04:16
refs/pull/327/merge
Last used October 21, 2026 04:16
macOS-ARM64-lake-artifacts... 641b3aaa65ebb04d6a2e752d2 macOS-ARM64-lake-artifacts-v2-8a6c951f14bc8e94cf457f1d93d7ea428b2cacdd84e93e5dd8d562b9600d623b-3738692c610bbab641b3aaa65ebb04d6a2e752d2 780 MB cached October 21, 2026 04:15 refs/pull/327/merge Last used October 21, 2026 04:15
refs/pull/327/merge
Last used October 21, 2026 04:15