Skip to content

Actions: diffblue/cbmc

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
Windows-msbuild-refs/pull/... 75d4297ecd7de280441943-PR Windows-msbuild-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 180 MB cached October 13, 2025 17:05 refs/pull/8717/merge Last used October 13, 2025 17:05
refs/pull/8717/merge
Last used October 13, 2025 17:05
Windows-msbuild-make-refs/... 75d4297ecd7de280441943-PR Windows-msbuild-make-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 140 MB cached October 13, 2025 17:05 refs/pull/8717/merge Last used October 13, 2025 17:05
refs/pull/8717/merge
Last used October 13, 2025 17:05
codeql-trap-1-2.23.2-cpp-4... 5893b517808f45357edcd7def codeql-trap-1-2.23.2-cpp-4ed00e11c1aa9685893b517808f45357edcd7def 1.9 GB cached October 13, 2025 17:02 develop Last used October 13, 2025 17:02
develop
Last used October 13, 2025 17:02
Linux-24.04-make-refs/pull... 75d4297ecd7de280441943-PR Linux-24.04-make-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 81 MB cached October 13, 2025 16:57 refs/pull/8717/merge Last used October 13, 2025 16:57
refs/pull/8717/merge
Last used October 13, 2025 16:57
Windows-msbuild-make-refs/... 3b517808f45357edcd7def-PR Windows-msbuild-make-refs/heads/develop-4ed00e11c1aa9685893b517808f45357edcd7def-PR 130 MB cached October 13, 2025 16:57 develop Last used October 13, 2025 16:57
develop
Last used October 13, 2025 16:57
Linux-24.04-Release-gcc-14... 75d4297ecd7de280441943-PR Linux-24.04-Release-gcc-14-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 59 MB cached October 13, 2025 16:55 refs/pull/8717/merge Last used October 13, 2025 16:55
refs/pull/8717/merge
Last used October 13, 2025 16:55
Linux-24.04-Coverage-refs/... 75d4297ecd7de280441943-PR Linux-24.04-Coverage-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 710 MB cached October 13, 2025 16:48 refs/pull/8717/merge Last used October 13, 2025 16:48
refs/pull/8717/merge
Last used October 13, 2025 16:48
Windows-msbuild-refs/heads... 3b517808f45357edcd7def-PR Windows-msbuild-refs/heads/develop-4ed00e11c1aa9685893b517808f45357edcd7def-PR 57 MB cached October 13, 2025 16:47 develop Last used October 13, 2025 16:47
develop
Last used October 13, 2025 16:47
Linux-22.04-make-clang-ref... 75d4297ecd7de280441943-PR Linux-22.04-make-clang-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 52 MB cached October 13, 2025 16:46 refs/pull/8717/merge Last used October 13, 2025 16:46
refs/pull/8717/merge
Last used October 13, 2025 16:46
Linux-24.04-Coverage-refs/... 3b517808f45357edcd7def-PR Linux-24.04-Coverage-refs/heads/develop-4ed00e11c1aa9685893b517808f45357edcd7def-PR 650 MB cached October 13, 2025 16:45 develop Last used October 13, 2025 16:45
develop
Last used October 13, 2025 16:45
Linux-24.04-Arm-Release-re... 75d4297ecd7de280441943-PR Linux-24.04-Arm-Release-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 58 MB cached October 13, 2025 16:44 refs/pull/8717/merge Last used October 13, 2025 16:44
refs/pull/8717/merge
Last used October 13, 2025 16:44
Linux-22.04-Release-refs/p... 75d4297ecd7de280441943-PR Linux-22.04-Release-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 110 MB cached October 13, 2025 16:40 refs/pull/8717/merge Last used October 13, 2025 16:40
refs/pull/8717/merge
Last used October 13, 2025 16:40
Linux-24.04-make-clang-ref... 5d4297ecd7de280441943-XEN Linux-24.04-make-clang-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-XEN 33 MB cached October 13, 2025 16:40 refs/pull/8717/merge Last used October 13, 2025 16:40
refs/pull/8717/merge
Last used October 13, 2025 16:40
Linux-24.04-Release-gcc-14... ad6e3503d5095e69b38037-PR Linux-24.04-Release-gcc-14-refs/pull/8717/merge-73cc9a0ea4b0a32e84ad6e3503d5095e69b38037-PR 56 MB cached October 13, 2025 14:21 refs/pull/8717/merge Last used October 13, 2025 16:39
refs/pull/8717/merge
Last used October 13, 2025 16:39
Linux-24.04-Release-refs/p... 75d4297ecd7de280441943-PR Linux-24.04-Release-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 110 MB cached October 13, 2025 16:36 refs/pull/8717/merge Last used October 13, 2025 16:38
refs/pull/8717/merge
Last used October 13, 2025 16:38
Windows-msbuild-refs/pull/... 5d4297ecd7de280441943-PKG Windows-msbuild-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PKG 180 MB cached October 13, 2025 16:38 refs/pull/8717/merge Last used October 13, 2025 16:38
refs/pull/8717/merge
Last used October 13, 2025 16:38
Linux-22.04-Release-32-ref... 75d4297ecd7de280441943-PR Linux-22.04-Release-32-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 60 MB cached October 13, 2025 16:37 refs/pull/8717/merge Last used October 13, 2025 16:37
refs/pull/8717/merge
Last used October 13, 2025 16:37
Linux-24.04-make-refs/pull... ad6e3503d5095e69b38037-PR Linux-24.04-make-refs/pull/8717/merge-73cc9a0ea4b0a32e84ad6e3503d5095e69b38037-PR 78 MB cached October 13, 2025 14:41 refs/pull/8717/merge Last used October 13, 2025 16:37
refs/pull/8717/merge
Last used October 13, 2025 16:37
Linux-24.04-make-clang-ref... 297ecd7de280441943-CSMITH Linux-24.04-make-clang-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-CSMITH 33 MB cached October 13, 2025 16:37 refs/pull/8717/merge Last used October 13, 2025 16:37
refs/pull/8717/merge
Last used October 13, 2025 16:37
Windows-msbuild-refs/heads... dbf7cc81ffa72cf9a04f9-PKG Windows-msbuild-refs/heads/develop-558ef2fd5f7bcbf3372dbf7cc81ffa72cf9a04f9-PKG 57 MB cached October 13, 2025 16:36 develop Last used October 13, 2025 16:36
develop
Last used October 13, 2025 16:36
netbsd-9.3-gmake-refs/pull... 75d4297ecd7de280441943-PR netbsd-9.3-gmake-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 40 MB cached October 13, 2025 16:35 refs/pull/8717/merge Last used October 13, 2025 16:35
refs/pull/8717/merge
Last used October 13, 2025 16:35
Linux-24.04-Release-refs/h... 3b517808f45357edcd7def-PR Linux-24.04-Release-refs/heads/develop-4ed00e11c1aa9685893b517808f45357edcd7def-PR 53 MB cached October 13, 2025 16:15 develop Last used October 13, 2025 16:35
develop
Last used October 13, 2025 16:35
codeql-trap-1-2.23.2-cpp-4... ad58784e8688a51d20bd05a4a codeql-trap-1-2.23.2-cpp-46f9d54e15e247fad58784e8688a51d20bd05a4a 1.9 GB cached October 13, 2025 03:50 develop Last used October 13, 2025 16:34
develop
Last used October 13, 2025 16:34
freebsd-13.2-gmake-refs/pu... 75d4297ecd7de280441943-PR freebsd-13.2-gmake-refs/pull/8717/merge-d3d53e87a7d56769a175d4297ecd7de280441943-PR 39 MB cached October 13, 2025 16:33 refs/pull/8717/merge Last used October 13, 2025 16:33
refs/pull/8717/merge
Last used October 13, 2025 16:33
Linux-24.04-Arm-Release-re... 3b517808f45357edcd7def-PR Linux-24.04-Arm-Release-refs/heads/develop-4ed00e11c1aa9685893b517808f45357edcd7def-PR 55 MB cached October 13, 2025 16:23 develop Last used October 13, 2025 16:33
develop
Last used October 13, 2025 16:33