Actions: leanprover/verso
Actions
Showing caches from all workflows.
Learn more about managing caches.
42 caches
42 caches
literate-config-Linux-a4f1... e0d8b1c69e7fa799c-9ae0caa
literate-config-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-add6674d7f91616926d415e4bfb0f3af55c0f2bdbc5afc7e0d8b1c69e7fa799c-9ae0caa
31 MB cached August 10, 2026 06:53
refs/pull/946/merge
Last used August 10, 2026 06:53
refs/pull/946/merge
Last used August 10, 2026 06:53
literate-multi-root-Linux-... 01d43a4e37add5faf-9ae0caa
literate-multi-root-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-132194f3572d533b2558e69cdf20dc0947cb7c319bdeb3b01d43a4e37add5faf-9ae0caa
31 MB cached August 10, 2026 06:53
refs/pull/946/merge
Last used August 10, 2026 06:53
refs/pull/946/merge
Last used August 10, 2026 06:53
literate-multi-root-Linux-... 01d43a4e37add5faf-22f6fe3
literate-multi-root-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-132194f3572d533b2558e69cdf20dc0947cb7c319bdeb3b01d43a4e37add5faf-22f6fe3
31 MB cached August 10, 2026 02:50
main
Last used August 10, 2026 06:48
Last used August 10, 2026 06:48
literate-config-Linux-a4f1... e0d8b1c69e7fa799c-22f6fe3
literate-config-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-add6674d7f91616926d415e4bfb0f3af55c0f2bdbc5afc7e0d8b1c69e7fa799c-22f6fe3
31 MB cached August 10, 2026 02:50
main
Last used August 10, 2026 06:48
Last used August 10, 2026 06:48
Linux-9faf7454ff3dbce7a762... 3c6f78fe58dcaaa8a-22f6fe3
Linux-9faf7454ff3dbce7a7628a2908c292443f020609df22f232f992e940353a9b3b-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-22f6fe3
860 MB cached August 10, 2026 02:50
main
Last used August 10, 2026 06:41
Last used August 10, 2026 06:41
setup-uv-2-x86_64-unknown-... fde3c6ab533d3b50179404fa1
setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-b454fa28270218d0ad049bc6d30e847d93d0279fde3c6ab533d3b50179404fa1
690 KB cached August 10, 2026 06:39
refs/pull/946/merge
Last used August 10, 2026 06:39
refs/pull/946/merge
Last used August 10, 2026 06:39
literate-multi-root-Linux-... 01d43a4e37add5faf-3bdedf2
literate-multi-root-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-132194f3572d533b2558e69cdf20dc0947cb7c319bdeb3b01d43a4e37add5faf-3bdedf2
24 MB cached August 10, 2026 00:25
main
Last used August 10, 2026 02:45
Last used August 10, 2026 02:45
literate-config-Linux-a4f1... e0d8b1c69e7fa799c-3bdedf2
literate-config-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-add6674d7f91616926d415e4bfb0f3af55c0f2bdbc5afc7e0d8b1c69e7fa799c-3bdedf2
24 MB cached August 10, 2026 00:25
main
Last used August 10, 2026 02:45
Last used August 10, 2026 02:45
Linux-9faf7454ff3dbce7a762... 3c6f78fe58dcaaa8a-3bdedf2
Linux-9faf7454ff3dbce7a7628a2908c292443f020609df22f232f992e940353a9b3b-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-3bdedf2
860 MB cached August 10, 2026 00:25
main
Last used August 10, 2026 02:39
Last used August 10, 2026 02:39
Linux-9faf7454ff3dbce7a762... 3c6f78fe58dcaaa8a-22f6fe3
Linux-9faf7454ff3dbce7a7628a2908c292443f020609df22f232f992e940353a9b3b-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-22f6fe3
860 MB cached August 10, 2026 02:34
gh-readonly-queue/main/pr-949-3bdedf29bada13d8103e6c979001c51dcee210c8
Last used August 10, 2026 02:34
Last used August 10, 2026 02:34
literate-config-Linux-a4f1... e0d8b1c69e7fa799c-22f6fe3
literate-config-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-add6674d7f91616926d415e4bfb0f3af55c0f2bdbc5afc7e0d8b1c69e7fa799c-22f6fe3
24 MB cached August 10, 2026 02:34
gh-readonly-queue/main/pr-949-3bdedf29bada13d8103e6c979001c51dcee210c8
Last used August 10, 2026 02:34
Last used August 10, 2026 02:34
literate-multi-root-Linux-... 01d43a4e37add5faf-22f6fe3
literate-multi-root-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-132194f3572d533b2558e69cdf20dc0947cb7c319bdeb3b01d43a4e37add5faf-22f6fe3
31 MB cached August 10, 2026 02:34
gh-readonly-queue/main/pr-949-3bdedf29bada13d8103e6c979001c51dcee210c8
Last used August 10, 2026 02:34
Last used August 10, 2026 02:34
setup-uv-2-x86_64-unknown-... fde3c6ab533d3b50179404fa1
setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-b454fa28270218d0ad049bc6d30e847d93d0279fde3c6ab533d3b50179404fa1
690 KB cached August 10, 2026 02:23
gh-readonly-queue/main/pr-949-3bdedf29bada13d8103e6c979001c51dcee210c8
Last used August 10, 2026 02:23
Last used August 10, 2026 02:23
Linux-9faf7454ff3dbce7a762... 3c6f78fe58dcaaa8a-586bbda
Linux-9faf7454ff3dbce7a7628a2908c292443f020609df22f232f992e940353a9b3b-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-586bbda
860 MB cached August 10, 2026 02:22
refs/pull/949/merge
Last used August 10, 2026 02:22
refs/pull/949/merge
Last used August 10, 2026 02:22
literate-config-Linux-a4f1... e0d8b1c69e7fa799c-586bbda
literate-config-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-add6674d7f91616926d415e4bfb0f3af55c0f2bdbc5afc7e0d8b1c69e7fa799c-586bbda
31 MB cached August 10, 2026 02:22
refs/pull/949/merge
Last used August 10, 2026 02:22
refs/pull/949/merge
Last used August 10, 2026 02:22
literate-multi-root-Linux-... 01d43a4e37add5faf-586bbda
literate-multi-root-Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-132194f3572d533b2558e69cdf20dc0947cb7c319bdeb3b01d43a4e37add5faf-586bbda
31 MB cached August 10, 2026 02:22
refs/pull/949/merge
Last used August 10, 2026 02:22
refs/pull/949/merge
Last used August 10, 2026 02:22
setup-uv-2-x86_64-unknown-... fde3c6ab533d3b50179404fa1
setup-uv-2-x86_64-unknown-linux-gnu-ubuntu-24.04-3.12.3-pruned-b454fa28270218d0ad049bc6d30e847d93d0279fde3c6ab533d3b50179404fa1
690 KB cached August 10, 2026 02:10
refs/pull/949/merge
Last used August 10, 2026 02:10
refs/pull/949/merge
Last used August 10, 2026 02:10