Actions: leanprover/reference-manual
Actions
Showing caches from all workflows.
Learn more about managing caches.
22 caches
22 caches
Linux-2933d037a73a8359f7dc... b79c7c343e3047575509383cc
Linux-2933d037a73a8359f7dcd4bede27b3724ce2500f7854a3ee7ddcfdacb228074f-88afd5149ef1e6f6bead45ce04bb52c0bf8cf7291c529b29a52384f4ca6b394e-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-aaa6453af16ea65b79c7c343e3047575509383cc
490 MB cached August 10, 2026 23:07
refs/tags/v4.34.0-rc1
Last used August 10, 2026 23:07
Last used August 10, 2026 23:07
Linux-2933d037a73a8359f7dc... b79c7c343e3047575509383cc
Linux-2933d037a73a8359f7dcd4bede27b3724ce2500f7854a3ee7ddcfdacb228074f-88afd5149ef1e6f6bead45ce04bb52c0bf8cf7291c529b29a52384f4ca6b394e-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-aaa6453af16ea65b79c7c343e3047575509383cc
490 MB cached August 10, 2026 22:34
main
Last used August 10, 2026 22:34
Last used August 10, 2026 22:34
Linux-2933d037a73a8359f7dc... b79c7c343e3047575509383cc
Linux-2933d037a73a8359f7dcd4bede27b3724ce2500f7854a3ee7ddcfdacb228074f-88afd5149ef1e6f6bead45ce04bb52c0bf8cf7291c529b29a52384f4ca6b394e-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-aaa6453af16ea65b79c7c343e3047575509383cc
490 MB cached August 10, 2026 22:25
gh-readonly-queue/main/pr-917-02d0d61af6d344da5215eb2eb1efba0ca30ede68
Last used August 10, 2026 22:25
Last used August 10, 2026 22:25
Linux-2933d037a73a8359f7dc... 3e3dec11e70569aa6570a6361
Linux-2933d037a73a8359f7dcd4bede27b3724ce2500f7854a3ee7ddcfdacb228074f-88afd5149ef1e6f6bead45ce04bb52c0bf8cf7291c529b29a52384f4ca6b394e-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-85e5fc2d28310173e3dec11e70569aa6570a6361
490 MB cached August 10, 2026 22:13
refs/pull/917/merge
Last used August 10, 2026 22:13
refs/pull/917/merge
Last used August 10, 2026 22:13
Linux-24452303133071980d55... 717d86b8445857c4733e2780f
Linux-24452303133071980d5530aa7ac5348481fa8703e108bf7ba882e13c124baa17-6290fb60f1b685830a0942ec76d72515163f2cbab13650edb1f02d2a3cad9e87-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-3ae49e069c8f350717d86b8445857c4733e2780f
480 MB cached August 10, 2026 17:50
lean-pr-testing-14554
Last used August 10, 2026 17:50
Last used August 10, 2026 17:50
Linux-56acce5b32dd473f5920... 04c970fa1b1ca3edaa1993abc
Linux-56acce5b32dd473f592010975cb96cacf960c9d830424cce03eceb06b527604c-6290fb60f1b685830a0942ec76d72515163f2cbab13650edb1f02d2a3cad9e87-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-13b2dd7b9a0e16a04c970fa1b1ca3edaa1993abc
480 MB cached August 10, 2026 17:27
lean-pr-testing-14554
Last used August 10, 2026 17:27
Last used August 10, 2026 17:27
Linux-d6e174dcdf0344ef565b... a92d2ef99e5fc36617b0f449f
Linux-d6e174dcdf0344ef565b4213e315923f51a28e3afc57fa21d38325f17caafc24-6290fb60f1b685830a0942ec76d72515163f2cbab13650edb1f02d2a3cad9e87-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-c2e8f65145a12a5a92d2ef99e5fc36617b0f449f
480 MB cached August 10, 2026 14:42
lean-pr-testing-14557
Last used August 10, 2026 14:42
Last used August 10, 2026 14:42
Linux-60f06854656f9bd91d23... c535389c8c654b73aa1f668d7
Linux-60f06854656f9bd91d234f4a339696b39f61e1cf16f812d5d6b737b40ea322ba-6290fb60f1b685830a0942ec76d72515163f2cbab13650edb1f02d2a3cad9e87-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-8685c10989c1d51c535389c8c654b73aa1f668d7
480 MB cached August 10, 2026 14:19
lean-pr-testing-14557
Last used August 10, 2026 14:19
Last used August 10, 2026 14:19
Linux-bcae49ad357235951b3e... a0e1c04c3593a718f254cfa3b
Linux-bcae49ad357235951b3eba617ca1ec25851f6ed8d0bc9014d93cf81609ed2a89-0a42950e584823aea993b355f597dcae34b3a98d6f422c6c2786bd9eddfed7de-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-3f508179edd8081a0e1c04c3593a718f254cfa3b
490 MB cached August 10, 2026 10:19
lean-pr-testing-14582
Last used August 10, 2026 10:19
Last used August 10, 2026 10:19
Linux-3b0c774fe22b58e49fc6... 7eca07fce282b62fc5b8ae0f7
Linux-3b0c774fe22b58e49fc6154aa78a41fefc98ce270aec8fd675708265f946ea09-0a42950e584823aea993b355f597dcae34b3a98d6f422c6c2786bd9eddfed7de-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-de19c84bc8d9a767eca07fce282b62fc5b8ae0f7
490 MB cached August 10, 2026 09:32
lean-pr-testing-14582
Last used August 10, 2026 10:14
Last used August 10, 2026 10:14
Linux-6f7be5b1860db15f5413... 01e62cae36bfddbeb4199fe90
Linux-6f7be5b1860db15f5413fd18ad466d9e41dcce2ddb2170a8d5818fc5e18ad459-0a42950e584823aea993b355f597dcae34b3a98d6f422c6c2786bd9eddfed7de-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-865c82f75bc0bd401e62cae36bfddbeb4199fe90
490 MB cached August 10, 2026 09:31
lean-pr-testing-14582
Last used August 10, 2026 09:31
Last used August 10, 2026 09:31
Linux-58090995a14ac395513c... b8c80202e8d7862cfee0a14f8
Linux-58090995a14ac395513c83573318f010f07d47d8b2dae76e3485a71971585560-0a42950e584823aea993b355f597dcae34b3a98d6f422c6c2786bd9eddfed7de-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-a67e81d58ff67c0b8c80202e8d7862cfee0a14f8
490 MB cached August 10, 2026 09:07
lean-pr-testing-14582
Last used August 10, 2026 09:07
Last used August 10, 2026 09:07
Linux-6c0a5b6d0e25da309a8f... 50a42cab47d68e3f5a4fcdf9a
Linux-6c0a5b6d0e25da309a8fda1f53c5fe83611f8921b1c0b755a78032bc1827197c-0a42950e584823aea993b355f597dcae34b3a98d6f422c6c2786bd9eddfed7de-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-06897e3cfdc72dc50a42cab47d68e3f5a4fcdf9a
490 MB cached August 10, 2026 08:52
nightly-testing
Last used August 10, 2026 08:52
Last used August 10, 2026 08:52
Linux-6c0a5b6d0e25da309a8f... 435ba789d08299b9e235eea69
Linux-6c0a5b6d0e25da309a8fda1f53c5fe83611f8921b1c0b755a78032bc1827197c-0a42950e584823aea993b355f597dcae34b3a98d6f422c6c2786bd9eddfed7de-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-f7b286d5c1e12cd435ba789d08299b9e235eea69
490 MB cached August 10, 2026 08:41
refs/pull/916/merge
Last used August 10, 2026 08:41
refs/pull/916/merge
Last used August 10, 2026 08:41
Linux-6c0a5b6d0e25da309a8f... 3f338196537b58df280998c7c
Linux-6c0a5b6d0e25da309a8fda1f53c5fe83611f8921b1c0b755a78032bc1827197c-0a42950e584823aea993b355f597dcae34b3a98d6f422c6c2786bd9eddfed7de-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-8a637cfd9baeb313f338196537b58df280998c7c
490 MB cached August 10, 2026 08:21
refs/pull/916/merge
Last used August 10, 2026 08:41
refs/pull/916/merge
Last used August 10, 2026 08:41
Linux-b5fa9f042bd304f3d26a... bdd5b0bba1bb6337163745894
Linux-b5fa9f042bd304f3d26aefccd638e03a403e8fa535c45ac9e9ecbd4503597d92-ef8a61ed2b5bf23485afbe0b0144e83a4b4d3c922d8ce7cb23841e790e0211e3-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-93ffe4f580a7d3ebdd5b0bba1bb6337163745894
480 MB cached August 10, 2026 07:48
lean-pr-testing-13851
Last used August 10, 2026 07:48
Last used August 10, 2026 07:48
Linux-c18e995ef5917ad7b25a... d76646019fc74d9321b6fe33d
Linux-c18e995ef5917ad7b25a256e50008b9961d34548ab114953fb5a5623be305048-17263026818c01f7f3a983fbc8f80f1ffff89abdd94f7f95f3f97ba7b8bbdba1-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-04eeb0b12d7305ed76646019fc74d9321b6fe33d
480 MB cached August 10, 2026 06:55
lean-pr-testing-14583
Last used August 10, 2026 06:55
Last used August 10, 2026 06:55
Linux-fece46ac505f2959f01f... 82caf745e69f33d17d81e9323
Linux-fece46ac505f2959f01f012637fff5b1188cbbe4729f24a0789a65b9a4caa02a-17263026818c01f7f3a983fbc8f80f1ffff89abdd94f7f95f3f97ba7b8bbdba1-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-aee09752b2e820382caf745e69f33d17d81e9323
490 MB cached August 10, 2026 06:31
lean-pr-testing-14624
Last used August 10, 2026 06:31
Last used August 10, 2026 06:31
Linux-968db7b87184dc9f88bc... 1b997e22f24cf061cf7d4f95f
Linux-968db7b87184dc9f88bcefc4994e4da0d06fb24d2f1a9f72390807950863aa53-17263026818c01f7f3a983fbc8f80f1ffff89abdd94f7f95f3f97ba7b8bbdba1-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-0e35a1bb72b45721b997e22f24cf061cf7d4f95f
480 MB cached August 10, 2026 05:25
lean-pr-testing-14532
Last used August 10, 2026 05:25
Last used August 10, 2026 05:25
Linux-bf2ecf14f96dc0d171d0... 7c7cfbd3530d13b80acfef0bd
Linux-bf2ecf14f96dc0d171d02c5f67606f0acf2e032d14f4840b04d0009e5a353b22-17263026818c01f7f3a983fbc8f80f1ffff89abdd94f7f95f3f97ba7b8bbdba1-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-4aebec39a955c477c7cfbd3530d13b80acfef0bd
430 MB cached August 10, 2026 01:54
lean-pr-testing-14600
Last used August 10, 2026 01:54
Last used August 10, 2026 01:54
Linux-a4f1c540c0851e641d87... a5215eb2eb1efba0ca30ede68
Linux-a4f1c540c0851e641d87133aa9cd01066f797f32d242b983c6f78fe58dcaaa8a-d0e7e84636ac579aa0262fcfcb937e33cac63965272245eaf12fc2d1c5af2e0d-4965af1a64a62209825939497295dc7af887b3381d0b4012e06124d5d928f95d-02d0d61af6d344da5215eb2eb1efba0ca30ede68
480 MB cached August 10, 2026 01:19
refs/tags/v4.33.0
Last used August 10, 2026 01:19
Last used August 10, 2026 01:19