Actions: diffblue/cbmc
Actions
Showing caches from all workflows.
Learn more about managing caches.
80 caches
80 caches
macOS-Release-refs/pull/87... b6423cc6f584b882b4056a-PR
macOS-Release-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR
110 MB cached November 26, 2025 10:24
refs/pull/8741/merge
Last used November 26, 2025 10:24
refs/pull/8741/merge
Last used November 26, 2025 10:24
macOS-Release-refs/pull/87... d8112cf5353d3c0cd9d57a-PR
macOS-Release-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
82 MB cached November 26, 2025 10:07
refs/pull/8742/merge
Last used November 26, 2025 10:07
refs/pull/8742/merge
Last used November 26, 2025 10:07
Windows-msbuild-refs/pull/... d8112cf5353d3c0cd9d57a-PR
Windows-msbuild-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
170 MB cached November 26, 2025 09:53
refs/pull/8742/merge
Last used November 26, 2025 09:53
refs/pull/8742/merge
Last used November 26, 2025 09:53
Windows-msbuild-make-refs/... b6423cc6f584b882b4056a-PR
Windows-msbuild-make-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR
210 MB cached November 26, 2025 09:40
refs/pull/8741/merge
Last used November 26, 2025 09:40
refs/pull/8741/merge
Last used November 26, 2025 09:40
Windows-msbuild-refs/pull/... b6423cc6f584b882b4056a-PR
Windows-msbuild-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR
170 MB cached November 26, 2025 09:35
refs/pull/8741/merge
Last used November 26, 2025 09:35
refs/pull/8741/merge
Last used November 26, 2025 09:35
macOS-make-refs/pull/8741/... b6423cc6f584b882b4056a-PR
macOS-make-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR
94 MB cached November 26, 2025 09:33
refs/pull/8741/merge
Last used November 26, 2025 09:33
refs/pull/8741/merge
Last used November 26, 2025 09:33
Linux-24.04-Coverage-refs/... b6423cc6f584b882b4056a-PR
Linux-24.04-Coverage-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR
1.1 GB cached November 26, 2025 09:26
refs/pull/8741/merge
Last used November 26, 2025 09:26
refs/pull/8741/merge
Last used November 26, 2025 09:26
Windows-msbuild-refs/pull/... 8112cf5353d3c0cd9d57a-PKG
Windows-msbuild-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PKG
170 MB cached November 26, 2025 09:20
refs/pull/8742/merge
Last used November 26, 2025 09:20
refs/pull/8742/merge
Last used November 26, 2025 09:20
Linux-24.04-Coverage-refs/... d8112cf5353d3c0cd9d57a-PR
Linux-24.04-Coverage-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
580 MB cached November 26, 2025 09:19
refs/pull/8742/merge
Last used November 26, 2025 09:19
refs/pull/8742/merge
Last used November 26, 2025 09:19
Linux-24.04-Release-refs/p... d8112cf5353d3c0cd9d57a-PR
Linux-24.04-Release-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
100 MB cached November 26, 2025 09:09
refs/pull/8742/merge
Last used November 26, 2025 09:09
refs/pull/8742/merge
Last used November 26, 2025 09:09
Linux-22.04-Release-refs/p... d8112cf5353d3c0cd9d57a-PR
Linux-22.04-Release-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
51 MB cached November 26, 2025 09:08
refs/pull/8742/merge
Last used November 26, 2025 09:08
refs/pull/8742/merge
Last used November 26, 2025 09:08
Linux-22.04-Release-32-ref... d8112cf5353d3c0cd9d57a-PR
Linux-22.04-Release-32-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
54 MB cached November 26, 2025 09:08
refs/pull/8742/merge
Last used November 26, 2025 09:08
refs/pull/8742/merge
Last used November 26, 2025 09:08
Linux-24.04-Release-gcc-14... d8112cf5353d3c0cd9d57a-PR
Linux-24.04-Release-gcc-14-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
53 MB cached November 26, 2025 09:07
refs/pull/8742/merge
Last used November 26, 2025 09:07
refs/pull/8742/merge
Last used November 26, 2025 09:07
Linux-24.04-Arm-Release-re... d8112cf5353d3c0cd9d57a-PR
Linux-24.04-Arm-Release-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
53 MB cached November 26, 2025 09:06
refs/pull/8742/merge
Last used November 26, 2025 09:06
refs/pull/8742/merge
Last used November 26, 2025 09:06
Linux-22.04-Release-refs/p... b6423cc6f584b882b4056a-PR
Linux-22.04-Release-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR
81 MB cached November 26, 2025 09:06
refs/pull/8741/merge
Last used November 26, 2025 09:06
refs/pull/8741/merge
Last used November 26, 2025 09:06
Linux-24.04-Release-gcc-14... b6423cc6f584b882b4056a-PR
Linux-24.04-Release-gcc-14-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR
84 MB cached November 26, 2025 09:05
refs/pull/8741/merge
Last used November 26, 2025 09:05
refs/pull/8741/merge
Last used November 26, 2025 09:05
Windows-msbuild-refs/pull/... 6423cc6f584b882b4056a-PKG
Windows-msbuild-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PKG
170 MB cached November 26, 2025 09:05
refs/pull/8741/merge
Last used November 26, 2025 09:05
refs/pull/8741/merge
Last used November 26, 2025 09:05
Linux-22.04-Release-32-ref... b6423cc6f584b882b4056a-PR
Linux-22.04-Release-32-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR
86 MB cached November 26, 2025 09:05
refs/pull/8741/merge
Last used November 26, 2025 09:05
refs/pull/8741/merge
Last used November 26, 2025 09:05
Linux-24.04-make-clang-ref... 8112cf5353d3c0cd9d57a-XEN
Linux-24.04-make-clang-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-XEN
30 MB cached November 26, 2025 09:03
refs/pull/8742/merge
Last used November 26, 2025 09:03
refs/pull/8742/merge
Last used November 26, 2025 09:03
macOS-Release-Minisat-refs... 53d3c0cd9d57a-PR-Rust-API
macOS-Release-Minisat-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR-Rust-API
45 MB cached November 26, 2025 09:03
refs/pull/8742/merge
Last used November 26, 2025 09:03
refs/pull/8742/merge
Last used November 26, 2025 09:03
macOS-Release-Minisat-refs... 584b882b4056a-PR-Rust-API
macOS-Release-Minisat-refs/pull/8741/merge-a41dc8a75bcd388fcab6423cc6f584b882b4056a-PR-Rust-API
64 MB cached November 26, 2025 09:01
refs/pull/8741/merge
Last used November 26, 2025 09:01
refs/pull/8741/merge
Last used November 26, 2025 09:01
openbsd-7.7-gmake-refs/pul... d8112cf5353d3c0cd9d57a-PR
openbsd-7.7-gmake-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
60 MB cached November 26, 2025 08:59
refs/pull/8742/merge
Last used November 26, 2025 08:59
refs/pull/8742/merge
Last used November 26, 2025 08:59
Linux-24.04-make-clang-ref... d8112cf5353d3c0cd9d57a-PR
Linux-24.04-make-clang-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
30 MB cached November 26, 2025 08:59
refs/pull/8742/merge
Last used November 26, 2025 08:59
refs/pull/8742/merge
Last used November 26, 2025 08:59
netbsd-10.1-gmake-refs/pul... d8112cf5353d3c0cd9d57a-PR
netbsd-10.1-gmake-refs/pull/8742/merge-292ffefecab8339bbfd8112cf5353d3c0cd9d57a-PR
36 MB cached November 26, 2025 08:59
refs/pull/8742/merge
Last used November 26, 2025 08:59
refs/pull/8742/merge
Last used November 26, 2025 08:59