Skip to content

Actions: leanprover/subverso

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
macOS--7e383ea49643edb7d1f... e7c20978395958bef945139d4 macOS--7e383ea49643edb7d1fde22ac266502665b3b89e7c20978395958bef945139d4 87 MB cached March 30, 2025 23:54 main Last used March 31, 2025 07:29
main
Last used March 31, 2025 07:29
Linux--9f21b2528a33d3732d7... e7f0ddc29eb33dfd4d801f391 Linux--9f21b2528a33d3732d794de1a795248e263c167e7f0ddc29eb33dfd4d801f391 160 MB cached March 30, 2025 23:57 main Last used March 31, 2025 07:25
main
Last used March 31, 2025 07:25
Linux--4e9b847b1cafcdb8d99... 8e0fc5d5733cf7e307bf90203 Linux--4e9b847b1cafcdb8d998b0ce5aeba2b0e3f57398e0fc5d5733cf7e307bf90203 160 MB cached March 30, 2025 23:57 main Last used March 31, 2025 07:25
main
Last used March 31, 2025 07:25
Linux--afb436548ca3dcf44ae... 215e3d93eac8786c646932a0c Linux--afb436548ca3dcf44ae68d0c4007f6f11a76afb215e3d93eac8786c646932a0c 120 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:25
main
Last used March 31, 2025 07:25
Linux--57b2c1870825c1e0fd9... b639ccf13b5b9e31a17fcd811 Linux--57b2c1870825c1e0fd92e92b29b0bd566cdb14db639ccf13b5b9e31a17fcd811 160 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
macOS--569328e6fc2523e6973... 349c97dd55ac50b786cdcdedc macOS--569328e6fc2523e69733fb1d19811aaf9474e07349c97dd55ac50b786cdcdedc 79 MB cached March 30, 2025 23:54 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--039c319085ec36b5c96... 055ff4123ff3dafb5552387d3 Linux--039c319085ec36b5c962dc0faa6ffb74ab54843055ff4123ff3dafb5552387d3 110 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
macOS--db14e0af82d6fd21475... cf21b4074c243e843251cebc9 macOS--db14e0af82d6fd21475b6af3e7c1bbbbd1ed7eacf21b4074c243e843251cebc9 68 MB cached March 30, 2025 23:54 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--246504d957bbd63d9c6... 41e6d24fed8ee62c8ba0fa85a Linux--246504d957bbd63d9c6dae295e2395ca6ce520941e6d24fed8ee62c8ba0fa85a 160 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--4c48681a4a9e52952cb... 2d26fdbe2a3dcfb95dad5177d Linux--4c48681a4a9e52952cb2931bf15228a6c1177d82d26fdbe2a3dcfb95dad5177d 170 MB cached March 31, 2025 00:27 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--a4573af17b20a26747a... 5a54af7a26d1f606c5c8123b8 Linux--a4573af17b20a26747af71d57577f2991b110985a54af7a26d1f606c5c8123b8 160 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--c5184c619d41a73ed6b... 12d9e26986a762280b1038285 Linux--c5184c619d41a73ed6b48c9c710dbaecf71a0ec12d9e26986a762280b1038285 130 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--73165ef39728d05ab3f... a086b6cc966c50b29ad4f7401 Linux--73165ef39728d05ab3fd00135f53893d00115d2a086b6cc966c50b29ad4f7401 160 MB cached March 30, 2025 23:57 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--569328e6fc2523e6973... 349c97dd55ac50b786cdcdedc Linux--569328e6fc2523e69733fb1d19811aaf9474e07349c97dd55ac50b786cdcdedc 96 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--0ccaf94c3e29171885b... cd568fc8876874231553ef52a Linux--0ccaf94c3e29171885bf906da739df9fed70d87cd568fc8876874231553ef52a 140 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--9365f678db38b55d507... 882d1659862a657ba5b443250 Linux--9365f678db38b55d5073bc416a88ff076f0fdea882d1659862a657ba5b443250 140 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--db14e0af82d6fd21475... cf21b4074c243e843251cebc9 Linux--db14e0af82d6fd21475b6af3e7c1bbbbd1ed7eacf21b4074c243e843251cebc9 83 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--34612348abddccd522b... 1d523ddb88fb051e3b75f6b72 Linux--34612348abddccd522ba3813018a8194448624f1d523ddb88fb051e3b75f6b72 83 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--fe1df7c7f6313cf771f... 7bd7e83de30797fd8bc5782ea Linux--fe1df7c7f6313cf771f45a00a31e73e084df5777bd7e83de30797fd8bc5782ea 110 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--686bfe2c45eaed0f514... 1808201086791e5d5db526382 Linux--686bfe2c45eaed0f514d3cf0fa930830520f8411808201086791e5d5db526382 91 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--9b6fe1efd33ea476fd1... bc3a7e6794df0e044a3361048 Linux--9b6fe1efd33ea476fd18e187fdbe0ab9ac3a915bc3a7e6794df0e044a3361048 110 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--0bfac23e64e00c86224... 1dd94b5ac1fb8fdcbc61ab228 Linux--0bfac23e64e00c86224ae6afd0c4beb1d8fcc931dd94b5ac1fb8fdcbc61ab228 120 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--140839d6e2dc6106045... 8927dccd35f12f16f16627f90 Linux--140839d6e2dc6106045cda51e1739656d0e10aa8927dccd35f12f16f16627f90 110 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--11c1e7a98d01ca098f4... ddf6fb4d82e131b6f3c4d16d9 Linux--11c1e7a98d01ca098f4913bff9ebdb096df3362ddf6fb4d82e131b6f3c4d16d9 84 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24
Linux--51f376a7be680101cf1... 2c740f87251623424795b6b4e Linux--51f376a7be680101cf17008f44c0a53bf953a042c740f87251623424795b6b4e 82 MB cached March 30, 2025 23:56 main Last used March 31, 2025 07:24
main
Last used March 31, 2025 07:24