Skip to content

Actions: diffblue/cbmc

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
Linux-24.04-Coverage-refs/... 8212600c09635f25ecb261-PR Linux-24.04-Coverage-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 580 MB cached July 30, 2025 02:49 develop Last used August 7, 2025 05:04
develop
Last used August 7, 2025 05:04
Linux-24.04-make-clang-ref... e691ecf6ae7d2b04cb79e-XEN Linux-24.04-make-clang-refs/pull/8704/merge-82116d2aa068eff9c67e691ecf6ae7d2b04cb79e-XEN 32 MB cached August 7, 2025 04:57 refs/pull/8704/merge Last used August 7, 2025 04:57
refs/pull/8704/merge
Last used August 7, 2025 04:57
netbsd-9.3-gmake-refs/pull... 7e691ecf6ae7d2b04cb79e-PR netbsd-9.3-gmake-refs/pull/8704/merge-82116d2aa068eff9c67e691ecf6ae7d2b04cb79e-PR 38 MB cached August 7, 2025 04:53 refs/pull/8704/merge Last used August 7, 2025 04:53
refs/pull/8704/merge
Last used August 7, 2025 04:53
Windows-msbuild-refs/pull/... e691ecf6ae7d2b04cb79e-PKG Windows-msbuild-refs/pull/8704/merge-82116d2aa068eff9c67e691ecf6ae7d2b04cb79e-PKG 110 MB cached August 7, 2025 04:51 refs/pull/8704/merge Last used August 7, 2025 04:51
refs/pull/8704/merge
Last used August 7, 2025 04:51
Linux-24.04-make-clang-ref... 1ecf6ae7d2b04cb79e-CSMITH Linux-24.04-make-clang-refs/pull/8704/merge-82116d2aa068eff9c67e691ecf6ae7d2b04cb79e-CSMITH 32 MB cached August 7, 2025 04:50 refs/pull/8704/merge Last used August 7, 2025 04:50
refs/pull/8704/merge
Last used August 7, 2025 04:50
Linux-24.04-make-clang-ref... 1ecf6ae7d2b04cb79e-KERNEL Linux-24.04-make-clang-refs/pull/8704/merge-82116d2aa068eff9c67e691ecf6ae7d2b04cb79e-KERNEL 32 MB cached August 7, 2025 04:50 refs/pull/8704/merge Last used August 7, 2025 04:50
refs/pull/8704/merge
Last used August 7, 2025 04:50
Linux-24.04-Release-refs/p... 7e691ecf6ae7d2b04cb79e-PR Linux-24.04-Release-refs/pull/8704/merge-82116d2aa068eff9c67e691ecf6ae7d2b04cb79e-PR 100 MB cached August 7, 2025 04:48 refs/pull/8704/merge Last used August 7, 2025 04:48
refs/pull/8704/merge
Last used August 7, 2025 04:48
Linux-24.04-Arm-Release-re... 8212600c09635f25ecb261-PR Linux-24.04-Arm-Release-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 52 MB cached July 30, 2025 02:27 develop Last used August 7, 2025 04:47
develop
Last used August 7, 2025 04:47
Linux-24.04-make-clang-ref... 80493e6383e89d3931eef-XEN Linux-24.04-make-clang-refs/pull/8704/merge-8fa5956b236c8c02d5b80493e6383e89d3931eef-XEN 32 MB cached August 6, 2025 11:00 refs/pull/8704/merge Last used August 7, 2025 04:46
refs/pull/8704/merge
Last used August 7, 2025 04:46
Linux-24.04-Release-refs/p... b80493e6383e89d3931eef-PR Linux-24.04-Release-refs/pull/8704/merge-8fa5956b236c8c02d5b80493e6383e89d3931eef-PR 100 MB cached August 6, 2025 11:05 refs/pull/8704/merge Last used August 7, 2025 04:46
refs/pull/8704/merge
Last used August 7, 2025 04:46
macOS-Release-Minisat-refs... ae7d2b04cb79e-PR-Rust-API macOS-Release-Minisat-refs/pull/8704/merge-82116d2aa068eff9c67e691ecf6ae7d2b04cb79e-PR-Rust-API 47 MB cached August 7, 2025 04:46 refs/pull/8704/merge Last used August 7, 2025 04:46
refs/pull/8704/merge
Last used August 7, 2025 04:46
Linux-22.04-cmake-clang-re... 7e691ecf6ae7d2b04cb79e-PR Linux-22.04-cmake-clang-refs/pull/8704/merge-82116d2aa068eff9c67e691ecf6ae7d2b04cb79e-PR 32 MB cached August 7, 2025 04:46 refs/pull/8704/merge Last used August 7, 2025 04:46
refs/pull/8704/merge
Last used August 7, 2025 04:46
Linux-22.04-make-clang-ref... 8212600c09635f25ecb261-PR Linux-22.04-make-clang-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 47 MB cached July 30, 2025 02:31 develop Last used August 7, 2025 04:46
develop
Last used August 7, 2025 04:46
Windows-msbuild-refs/pull/... 80493e6383e89d3931eef-PKG Windows-msbuild-refs/pull/8704/merge-8fa5956b236c8c02d5b80493e6383e89d3931eef-PKG 110 MB cached August 6, 2025 10:54 refs/pull/8704/merge Last used August 7, 2025 04:46
refs/pull/8704/merge
Last used August 7, 2025 04:46
Windows-msbuild-make-refs/... 8212600c09635f25ecb261-PR Windows-msbuild-make-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 110 MB cached July 30, 2025 02:58 develop Last used August 7, 2025 04:46
develop
Last used August 7, 2025 04:46
Linux-22.04-Release-32-ref... 8212600c09635f25ecb261-PR Linux-22.04-Release-32-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 53 MB cached July 30, 2025 02:28 develop Last used August 7, 2025 04:45
develop
Last used August 7, 2025 04:45
macOS-make-refs/heads/deve... 8212600c09635f25ecb261-PR macOS-make-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 67 MB cached July 30, 2025 02:47 develop Last used August 7, 2025 04:45
develop
Last used August 7, 2025 04:45
macOS-Release-Minisat-refs... 83e89d3931eef-PR-Rust-API macOS-Release-Minisat-refs/pull/8704/merge-8fa5956b236c8c02d5b80493e6383e89d3931eef-PR-Rust-API 47 MB cached August 6, 2025 10:49 refs/pull/8704/merge Last used August 7, 2025 04:45
refs/pull/8704/merge
Last used August 7, 2025 04:45
Linux-24.04-Release-gcc-14... 8212600c09635f25ecb261-PR Linux-24.04-Release-gcc-14-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 53 MB cached July 30, 2025 02:29 develop Last used August 7, 2025 04:45
develop
Last used August 7, 2025 04:45
Linux-22.04-cmake-clang-re... b80493e6383e89d3931eef-PR Linux-22.04-cmake-clang-refs/pull/8704/merge-8fa5956b236c8c02d5b80493e6383e89d3931eef-PR 31 MB cached August 6, 2025 10:49 refs/pull/8704/merge Last used August 7, 2025 04:45
refs/pull/8704/merge
Last used August 7, 2025 04:45
Linux-22.04-Release-refs/h... 8212600c09635f25ecb261-PR Linux-22.04-Release-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 51 MB cached July 30, 2025 02:29 develop Last used August 7, 2025 04:45
develop
Last used August 7, 2025 04:45
netbsd-9.3-gmake-refs/pull... b80493e6383e89d3931eef-PR netbsd-9.3-gmake-refs/pull/8704/merge-8fa5956b236c8c02d5b80493e6383e89d3931eef-PR 38 MB cached August 6, 2025 10:57 refs/pull/8704/merge Last used August 7, 2025 04:45
refs/pull/8704/merge
Last used August 7, 2025 04:45
freebsd-13.2-gmake-refs/he... 8212600c09635f25ecb261-PR freebsd-13.2-gmake-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 35 MB cached July 30, 2025 02:20 develop Last used August 7, 2025 04:45
develop
Last used August 7, 2025 04:45
openbsd-7.6-gmake-refs/hea... 8212600c09635f25ecb261-PR openbsd-7.6-gmake-refs/heads/develop-6b6c8d326daa29434c8212600c09635f25ecb261-PR 60 MB cached July 30, 2025 02:22 develop Last used August 7, 2025 04:45
develop
Last used August 7, 2025 04:45
macOS-Release-refs/pull/87... 514f6e6f4ebb58e4d83068-PR macOS-Release-refs/pull/8705/merge-ce4bcabd0b0302ef8b514f6e6f4ebb58e4d83068-PR 130 MB cached August 6, 2025 12:22 refs/pull/8705/merge Last used August 6, 2025 12:22
refs/pull/8705/merge
Last used August 6, 2025 12:22