Actions: diffblue/cbmc
Actions
Showing caches from all workflows.
Learn more about managing caches.
58 caches
58 caches
macOS-Release-refs/pull/82... 97c38099692231a9f8bae6-PR
macOS-Release-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
190 MB cached December 19, 2025 10:26
refs/pull/8224/merge
Last used December 19, 2025 10:26
refs/pull/8224/merge
Last used December 19, 2025 10:26
macOS-Release-refs/pull/82... 982a819cc300514668a210-PR
macOS-Release-refs/pull/8224/merge-db2df9e7d9aa216a10982a819cc300514668a210-PR
210 MB cached December 19, 2025 09:25
refs/pull/8224/merge
Last used December 19, 2025 09:25
refs/pull/8224/merge
Last used December 19, 2025 09:25
Windows-msbuild-make-refs/... 97c38099692231a9f8bae6-PR
Windows-msbuild-make-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
240 MB cached December 19, 2025 08:34
refs/pull/8224/merge
Last used December 19, 2025 08:34
refs/pull/8224/merge
Last used December 19, 2025 08:34
macOS-make-refs/pull/8224/... 97c38099692231a9f8bae6-PR
macOS-make-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
160 MB cached December 19, 2025 08:29
refs/pull/8224/merge
Last used December 19, 2025 08:29
refs/pull/8224/merge
Last used December 19, 2025 08:29
Windows-msbuild-refs/pull/... 97c38099692231a9f8bae6-PR
Windows-msbuild-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
290 MB cached December 19, 2025 08:26
refs/pull/8224/merge
Last used December 19, 2025 08:26
refs/pull/8224/merge
Last used December 19, 2025 08:26
macOS-make-refs/pull/8224/... 982a819cc300514668a210-PR
macOS-make-refs/pull/8224/merge-db2df9e7d9aa216a10982a819cc300514668a210-PR
160 MB cached December 19, 2025 08:17
refs/pull/8224/merge
Last used December 19, 2025 08:17
refs/pull/8224/merge
Last used December 19, 2025 08:17
Windows-msbuild-make-refs/... 982a819cc300514668a210-PR
Windows-msbuild-make-refs/pull/8224/merge-db2df9e7d9aa216a10982a819cc300514668a210-PR
240 MB cached December 19, 2025 08:15
refs/pull/8224/merge
Last used December 19, 2025 08:15
refs/pull/8224/merge
Last used December 19, 2025 08:15
Windows-msbuild-refs/pull/... 982a819cc300514668a210-PR
Windows-msbuild-refs/pull/8224/merge-db2df9e7d9aa216a10982a819cc300514668a210-PR
290 MB cached December 19, 2025 08:05
refs/pull/8224/merge
Last used December 19, 2025 08:05
refs/pull/8224/merge
Last used December 19, 2025 08:05
Windows-msbuild-refs/pull/... 7c38099692231a9f8bae6-PKG
Windows-msbuild-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PKG
290 MB cached December 19, 2025 07:56
refs/pull/8224/merge
Last used December 19, 2025 07:56
refs/pull/8224/merge
Last used December 19, 2025 07:56
Linux-24.04-Coverage-refs/... 97c38099692231a9f8bae6-PR
Linux-24.04-Coverage-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
1.1 GB cached December 19, 2025 07:55
refs/pull/8224/merge
Last used December 19, 2025 07:55
refs/pull/8224/merge
Last used December 19, 2025 07:55
Linux-24.04-Arm-Release-re... 97c38099692231a9f8bae6-PR
Linux-24.04-Arm-Release-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
53 MB cached December 19, 2025 07:52
refs/pull/8224/merge
Last used December 19, 2025 07:52
refs/pull/8224/merge
Last used December 19, 2025 07:52
Linux-24.04-make-refs/pull... 97c38099692231a9f8bae6-PR
Linux-24.04-make-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
74 MB cached December 19, 2025 07:48
refs/pull/8224/merge
Last used December 19, 2025 07:48
refs/pull/8224/merge
Last used December 19, 2025 07:48
Linux-22.04-make-clang-ref... 97c38099692231a9f8bae6-PR
Linux-22.04-make-clang-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
74 MB cached December 19, 2025 07:45
refs/pull/8224/merge
Last used December 19, 2025 07:45
refs/pull/8224/merge
Last used December 19, 2025 07:45
Linux-22.04-Release-32-ref... 97c38099692231a9f8bae6-PR
Linux-22.04-Release-32-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
86 MB cached December 19, 2025 07:45
refs/pull/8224/merge
Last used December 19, 2025 07:45
refs/pull/8224/merge
Last used December 19, 2025 07:45
Linux-24.04-Release-gcc-14... 97c38099692231a9f8bae6-PR
Linux-24.04-Release-gcc-14-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
85 MB cached December 19, 2025 07:44
refs/pull/8224/merge
Last used December 19, 2025 07:44
refs/pull/8224/merge
Last used December 19, 2025 07:44
Linux-22.04-Release-refs/p... 97c38099692231a9f8bae6-PR
Linux-22.04-Release-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
140 MB cached December 19, 2025 07:44
refs/pull/8224/merge
Last used December 19, 2025 07:44
refs/pull/8224/merge
Last used December 19, 2025 07:44
Linux-24.04-make-clang-ref... 7c38099692231a9f8bae6-XEN
Linux-24.04-make-clang-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-XEN
48 MB cached December 19, 2025 07:39
refs/pull/8224/merge
Last used December 19, 2025 07:39
refs/pull/8224/merge
Last used December 19, 2025 07:39
Windows-msbuild-refs/pull/... 82a819cc300514668a210-PKG
Windows-msbuild-refs/pull/8224/merge-db2df9e7d9aa216a10982a819cc300514668a210-PKG
290 MB cached December 19, 2025 07:37
refs/pull/8224/merge
Last used December 19, 2025 07:37
refs/pull/8224/merge
Last used December 19, 2025 07:37
Linux-24.04-Coverage-refs/... 982a819cc300514668a210-PR
Linux-24.04-Coverage-refs/pull/8224/merge-db2df9e7d9aa216a10982a819cc300514668a210-PR
1.1 GB cached December 19, 2025 07:36
refs/pull/8224/merge
Last used December 19, 2025 07:36
refs/pull/8224/merge
Last used December 19, 2025 07:36
netbsd-10.1-gmake-refs/pul... 97c38099692231a9f8bae6-PR
netbsd-10.1-gmake-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
57 MB cached December 19, 2025 07:36
refs/pull/8224/merge
Last used December 19, 2025 07:36
refs/pull/8224/merge
Last used December 19, 2025 07:36
Linux-24.04-make-clang-ref... 97c38099692231a9f8bae6-PR
Linux-24.04-make-clang-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
48 MB cached December 19, 2025 07:35
refs/pull/8224/merge
Last used December 19, 2025 07:35
refs/pull/8224/merge
Last used December 19, 2025 07:35
freebsd-15.0-gmake-refs/pu... 97c38099692231a9f8bae6-PR
freebsd-15.0-gmake-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
61 MB cached December 19, 2025 07:33
refs/pull/8224/merge
Last used December 19, 2025 07:33
refs/pull/8224/merge
Last used December 19, 2025 07:33
Linux-24.04-make-clang-ref... 8099692231a9f8bae6-KERNEL
Linux-24.04-make-clang-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-KERNEL
48 MB cached December 19, 2025 07:33
refs/pull/8224/merge
Last used December 19, 2025 07:33
refs/pull/8224/merge
Last used December 19, 2025 07:33
Linux-24.04-make-clang-ref... 8099692231a9f8bae6-CSMITH
Linux-24.04-make-clang-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-CSMITH
48 MB cached December 19, 2025 07:33
refs/pull/8224/merge
Last used December 19, 2025 07:33
refs/pull/8224/merge
Last used December 19, 2025 07:33
Linux-24.04-Release-refs/p... 97c38099692231a9f8bae6-PR
Linux-24.04-Release-refs/pull/8224/merge-e819dc42c8c18e494197c38099692231a9f8bae6-PR
140 MB cached December 19, 2025 07:32
refs/pull/8224/merge
Last used December 19, 2025 07:32
refs/pull/8224/merge
Last used December 19, 2025 07:32