Skip to content

Actions: diffblue/hw-cbmc

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
Windows-msbuild-make-refs/... 2c2e9a047e4fe0c862c75c-PR Windows-msbuild-make-refs/pull/947/merge-a070ae4e4ca68152c62c2e9a047e4fe0c862c75c-PR 260 MB cached January 24, 2025 16:32 refs/pull/947/merge Last used January 24, 2025 16:32
refs/pull/947/merge
Last used January 24, 2025 16:32
Linux-20.04-make-clang-ref... 2c2e9a047e4fe0c862c75c-PR Linux-20.04-make-clang-refs/pull/947/merge-a070ae4e4ca68152c62c2e9a047e4fe0c862c75c-PR 85 MB cached January 24, 2025 16:32 refs/pull/947/merge Last used January 24, 2025 16:32
refs/pull/947/merge
Last used January 24, 2025 16:32
macOS-make-refs/pull/947/m... 2c2e9a047e4fe0c862c75c-PR macOS-make-refs/pull/947/merge-a070ae4e4ca68152c62c2e9a047e4fe0c862c75c-PR 430 MB cached January 24, 2025 16:31 refs/pull/947/merge Last used January 24, 2025 16:31
refs/pull/947/merge
Last used January 24, 2025 16:31
Linux-24.04-make-emcc-refs... 2c2e9a047e4fe0c862c75c-PR Linux-24.04-make-emcc-refs/pull/947/merge-a070ae4e4ca68152c62c2e9a047e4fe0c862c75c-PR 420 MB cached January 24, 2025 16:31 refs/pull/947/merge Last used January 24, 2025 16:31
refs/pull/947/merge
Last used January 24, 2025 16:31
Windows-msbuild-make-refs/... 582f1aad76a0e6c5412363-PR Windows-msbuild-make-refs/heads/main-5ffa8e0ed68ded4bcc582f1aad76a0e6c5412363-PR 260 MB cached January 24, 2025 07:23 main Last used January 24, 2025 16:31
main
Last used January 24, 2025 16:31
Linux-20.04-make-gcc-refs/... 2c2e9a047e4fe0c862c75c-PR Linux-20.04-make-gcc-refs/pull/947/merge-a070ae4e4ca68152c62c2e9a047e4fe0c862c75c-PR 87 MB cached January 24, 2025 16:31 refs/pull/947/merge Last used January 24, 2025 16:31
refs/pull/947/merge
Last used January 24, 2025 16:31
Linux-24.04-make-emcc-refs... 582f1aad76a0e6c5412363-PR Linux-24.04-make-emcc-refs/heads/main-5ffa8e0ed68ded4bcc582f1aad76a0e6c5412363-PR 420 MB cached January 24, 2025 07:24 main Last used January 24, 2025 16:31
main
Last used January 24, 2025 16:31
Linux-centos8-make-gcc-ref... 2c2e9a047e4fe0c862c75c-PR Linux-centos8-make-gcc-refs/pull/947/merge-a070ae4e4ca68152c62c2e9a047e4fe0c862c75c-PR 220 MB cached January 24, 2025 16:30 refs/pull/947/merge Last used January 24, 2025 16:30
refs/pull/947/merge
Last used January 24, 2025 16:30
Linux-20.04-make-clang-ref... 582f1aad76a0e6c5412363-PR Linux-20.04-make-clang-refs/heads/main-5ffa8e0ed68ded4bcc582f1aad76a0e6c5412363-PR 85 MB cached January 24, 2025 07:20 main Last used January 24, 2025 16:30
main
Last used January 24, 2025 16:30
macOS-make-refs/heads/main... 582f1aad76a0e6c5412363-PR macOS-make-refs/heads/main-5ffa8e0ed68ded4bcc582f1aad76a0e6c5412363-PR 430 MB cached January 24, 2025 07:16 main Last used January 24, 2025 16:30
main
Last used January 24, 2025 16:30
Linux-centos8-make-gcc-ref... 582f1aad76a0e6c5412363-PR Linux-centos8-make-gcc-refs/heads/main-5ffa8e0ed68ded4bcc582f1aad76a0e6c5412363-PR 220 MB cached January 24, 2025 07:17 main Last used January 24, 2025 16:30
main
Last used January 24, 2025 16:30
Linux-20.04-make-gcc-refs/... 582f1aad76a0e6c5412363-PR Linux-20.04-make-gcc-refs/heads/main-5ffa8e0ed68ded4bcc582f1aad76a0e6c5412363-PR 87 MB cached January 24, 2025 07:19 main Last used January 24, 2025 16:30
main
Last used January 24, 2025 16:30
Windows-msbuild-make-refs/... f38998ba5d1cf3334928ec-PR Windows-msbuild-make-refs/pull/946/merge-60c4105e8b2fb529eff38998ba5d1cf3334928ec-PR 260 MB cached January 24, 2025 11:23 refs/pull/946/merge Last used January 24, 2025 11:23
refs/pull/946/merge
Last used January 24, 2025 11:23
macOS-make-refs/pull/946/m... f38998ba5d1cf3334928ec-PR macOS-make-refs/pull/946/merge-60c4105e8b2fb529eff38998ba5d1cf3334928ec-PR 430 MB cached January 24, 2025 11:23 refs/pull/946/merge Last used January 24, 2025 11:23
refs/pull/946/merge
Last used January 24, 2025 11:23
Linux-24.04-make-emcc-refs... f38998ba5d1cf3334928ec-PR Linux-24.04-make-emcc-refs/pull/946/merge-60c4105e8b2fb529eff38998ba5d1cf3334928ec-PR 420 MB cached January 24, 2025 11:23 refs/pull/946/merge Last used January 24, 2025 11:23
refs/pull/946/merge
Last used January 24, 2025 11:23
Linux-20.04-make-clang-ref... f38998ba5d1cf3334928ec-PR Linux-20.04-make-clang-refs/pull/946/merge-60c4105e8b2fb529eff38998ba5d1cf3334928ec-PR 85 MB cached January 24, 2025 11:22 refs/pull/946/merge Last used January 24, 2025 11:22
refs/pull/946/merge
Last used January 24, 2025 11:22
Linux-20.04-make-gcc-refs/... f38998ba5d1cf3334928ec-PR Linux-20.04-make-gcc-refs/pull/946/merge-60c4105e8b2fb529eff38998ba5d1cf3334928ec-PR 87 MB cached January 24, 2025 11:22 refs/pull/946/merge Last used January 24, 2025 11:22
refs/pull/946/merge
Last used January 24, 2025 11:22
Linux-centos8-make-gcc-ref... f38998ba5d1cf3334928ec-PR Linux-centos8-make-gcc-refs/pull/946/merge-60c4105e8b2fb529eff38998ba5d1cf3334928ec-PR 220 MB cached January 24, 2025 11:22 refs/pull/946/merge Last used January 24, 2025 11:22
refs/pull/946/merge
Last used January 24, 2025 11:22
Windows-msbuild-make-refs/... 4c1a9585876ce645a691c5-PR Windows-msbuild-make-refs/heads/main-d923a32349366ff6754c1a9585876ce645a691c5-PR 270 MB cached January 22, 2025 08:49 main Last used January 24, 2025 07:09
main
Last used January 24, 2025 07:09
Linux-24.04-make-emcc-refs... 4c1a9585876ce645a691c5-PR Linux-24.04-make-emcc-refs/heads/main-d923a32349366ff6754c1a9585876ce645a691c5-PR 420 MB cached January 22, 2025 08:35 main Last used January 24, 2025 07:09
main
Last used January 24, 2025 07:09
Linux-20.04-make-clang-ref... 4c1a9585876ce645a691c5-PR Linux-20.04-make-clang-refs/heads/main-d923a32349366ff6754c1a9585876ce645a691c5-PR 87 MB cached January 22, 2025 08:35 main Last used January 24, 2025 07:08
main
Last used January 24, 2025 07:08
macOS-make-refs/heads/main... 4c1a9585876ce645a691c5-PR macOS-make-refs/heads/main-d923a32349366ff6754c1a9585876ce645a691c5-PR 430 MB cached January 22, 2025 08:36 main Last used January 24, 2025 07:08
main
Last used January 24, 2025 07:08
Linux-centos8-make-gcc-ref... 4c1a9585876ce645a691c5-PR Linux-centos8-make-gcc-refs/heads/main-d923a32349366ff6754c1a9585876ce645a691c5-PR 200 MB cached January 22, 2025 08:35 main Last used January 24, 2025 07:08
main
Last used January 24, 2025 07:08
Linux-20.04-make-gcc-refs/... 4c1a9585876ce645a691c5-PR Linux-20.04-make-gcc-refs/heads/main-d923a32349366ff6754c1a9585876ce645a691c5-PR 88 MB cached January 22, 2025 08:35 main Last used January 24, 2025 07:08
main
Last used January 24, 2025 07:08
Windows-msbuild-make-refs/... 992e15e1e379a8b2cb7a03-PR Windows-msbuild-make-refs/pull/945/merge-3f0a8ddd60128d8159992e15e1e379a8b2cb7a03-PR 250 MB cached January 23, 2025 10:00 refs/pull/945/merge Last used January 23, 2025 10:00
refs/pull/945/merge
Last used January 23, 2025 10:00