Skip to content

Actions: leanprover/lean4

Actions

Caches

Actions

Loading...
Loading

Showing caches from all workflows. Learn more about managing caches.
21 cache results
21 cache results
Branch

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
Linux Lake-build-v4-9cb76d... 7c3cb278f2bdb97b7f14c812f Linux Lake-build-v4-9cb76df08c024887c3cb278f2bdb97b7f14c812f 890 MB cached December 9, 2025 06:07 refs/pull/11562/merge Last used December 9, 2025 06:07
refs/pull/11562/merge
Last used December 9, 2025 06:07
Linux release-build-v4-6e7... c6623996b4bd3757ac6c46886 Linux release-build-v4-6e711bf067a0d9dc6623996b4bd3757ac6c46886 320 MB cached December 9, 2025 04:01 master Last used December 9, 2025 06:01
master
Last used December 9, 2025 06:01
Linux Lake-build-v4-dd39c8... 7fcf105ca73338f5f89b22c04 Linux Lake-build-v4-dd39c830443ce1b7fcf105ca73338f5f89b22c04 890 MB cached December 9, 2025 06:00 refs/pull/11563/merge Last used December 9, 2025 06:00
refs/pull/11563/merge
Last used December 9, 2025 06:00
macOS aarch64-build-v4-1d0... 75a757fc5061121ae9cd58543 macOS aarch64-build-v4-1d0d3915ca79d0875a757fc5061121ae9cd58543 140 MB cached December 8, 2025 23:22 master Last used December 9, 2025 06:00
master
Last used December 9, 2025 06:00
Linux Lake-build-v4-6e711b... c6623996b4bd3757ac6c46886 Linux Lake-build-v4-6e711bf067a0d9dc6623996b4bd3757ac6c46886 890 MB cached December 9, 2025 03:24 master Last used December 9, 2025 05:59
master
Last used December 9, 2025 05:59
determinatesystem-nix-inst... dbd9a2c7fde57f0178bfbf17a determinatesystem-nix-installer-x86_64-linux-3f5978edbd9a2c7fde57f0178bfbf17a 40 MB cached November 19, 2025 07:46 master Last used December 9, 2025 05:59
master
Last used December 9, 2025 05:59
macOS aarch64-build-v4-bc4... 5e93170f927474c4f46c243a1 macOS aarch64-build-v4-bc48ce6f3a27cdc5e93170f927474c4f46c243a1 270 MB cached December 9, 2025 03:49 refs/pull/11561/merge Last used December 9, 2025 03:49
refs/pull/11561/merge
Last used December 9, 2025 03:49
Linux release-build-v4-bc4... 5e93170f927474c4f46c243a1 Linux release-build-v4-bc48ce6f3a27cdc5e93170f927474c4f46c243a1 330 MB cached December 9, 2025 03:39 refs/pull/11561/merge Last used December 9, 2025 03:39
refs/pull/11561/merge
Last used December 9, 2025 03:39
Linux release-build-v4-bf5... 639cb17e283a9b8caa1c16209 Linux release-build-v4-bf51e1dcfa3322f639cb17e283a9b8caa1c16209 320 MB cached December 9, 2025 02:53 master Last used December 9, 2025 03:24
master
Last used December 9, 2025 03:24
Linux Lake-build-v4-cfef64... 39600913aaa2058954883ae7d Linux Lake-build-v4-cfef643d0359a1139600913aaa2058954883ae7d 890 MB cached December 9, 2025 02:57 master Last used December 9, 2025 03:23
master
Last used December 9, 2025 03:23
macOS aarch64-build-v4-5a6... 14e96c7e08af1a22c7cbff25b macOS aarch64-build-v4-5a6c361867f867214e96c7e08af1a22c7cbff25b 270 MB cached December 9, 2025 03:23 refs/pull/11559/merge Last used December 9, 2025 03:23
refs/pull/11559/merge
Last used December 9, 2025 03:23
macOS aarch64-build-v4-d12... a2ae37a9eeee86dc692644eb9 macOS aarch64-build-v4-d1248ce4e27e585a2ae37a9eeee86dc692644eb9 270 MB cached December 9, 2025 03:18 refs/pull/11490/merge Last used December 9, 2025 03:18
refs/pull/11490/merge
Last used December 9, 2025 03:18
Linux release-build-v4-d12... a2ae37a9eeee86dc692644eb9 Linux release-build-v4-d1248ce4e27e585a2ae37a9eeee86dc692644eb9 320 MB cached December 9, 2025 03:06 refs/pull/11490/merge Last used December 9, 2025 03:06
refs/pull/11490/merge
Last used December 9, 2025 03:06
Linux release-build-v4-5a6... 14e96c7e08af1a22c7cbff25b Linux release-build-v4-5a6c361867f867214e96c7e08af1a22c7cbff25b 320 MB cached December 9, 2025 03:05 refs/pull/11559/merge Last used December 9, 2025 03:05
refs/pull/11559/merge
Last used December 9, 2025 03:05
Linux Lake-build-v4-6e711b... c6623996b4bd3757ac6c46886 Linux Lake-build-v4-6e711bf067a0d9dc6623996b4bd3757ac6c46886 890 MB cached December 9, 2025 03:01 gh-readonly-queue/master/pr-11485-cfef643d0359a1139600913aaa2058954883ae7d Last used December 9, 2025 03:01
gh-readonly-queue/master/pr-11485-cfef643d0359a1139600913aaa2058954883ae7d
Last used December 9, 2025 03:01
actionlint-1.7.9-Linux-X64 actionlint-1.7.9-Linux-X64 2.1 MB cached December 9, 2025 02:56 master Last used December 9, 2025 03:00
master
Last used December 9, 2025 03:00
Linux Lake-build-v4-bc48ce... 5e93170f927474c4f46c243a1 Linux Lake-build-v4-bc48ce6f3a27cdc5e93170f927474c4f46c243a1 890 MB cached December 9, 2025 02:59 refs/pull/11561/merge Last used December 9, 2025 02:59
refs/pull/11561/merge
Last used December 9, 2025 02:59
Linux Lake-build-v4-bf51e1... 639cb17e283a9b8caa1c16209 Linux Lake-build-v4-bf51e1dcfa3322f639cb17e283a9b8caa1c16209 890 MB cached December 9, 2025 02:17 master Last used December 9, 2025 02:57
master
Last used December 9, 2025 02:57
Linux release-build-v4-1d0... 75a757fc5061121ae9cd58543 Linux release-build-v4-1d0d3915ca79d0875a757fc5061121ae9cd58543 320 MB cached December 8, 2025 19:08 master Last used December 9, 2025 02:52
master
Last used December 9, 2025 02:52
macOS aarch64-build-v4-07b... 9cf803c74c6c25bfeb4795c63 macOS aarch64-build-v4-07bcd99708526609cf803c74c6c25bfeb4795c63 270 MB cached December 9, 2025 02:45 refs/pull/11512/merge Last used December 9, 2025 02:45
refs/pull/11512/merge
Last used December 9, 2025 02:45
Windows-build-v4-33d749b3d... 7cb82f7eaf0ff59acfb7df04a Windows-build-v4-33d749b3d93b2797cb82f7eaf0ff59acfb7df04a 320 MB cached December 9, 2025 02:43 refs/pull/11485/merge Last used December 9, 2025 02:43
refs/pull/11485/merge
Last used December 9, 2025 02:43