Skip to content

Actions: Z3Prover/z3

Actions

Caches

Actions

Loading...
Loading

Showing caches from all workflows. Learn more about managing caches.
337 cache results
337 cache results
Branch

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
macOS-opam-5-108f302716fa8... 4af5fcc199daf9b63d36b4dcf macOS-opam-5-108f302716fa84a4af5fcc199daf9b63d36b4dcf 23 MB cached June 16, 2026 00:20 refs/pull/9825/merge Last used June 26, 2026 09:36
refs/pull/9825/merge
Last used June 26, 2026 09:36
Linux-opam-5-108f302716fa8... 4af5fcc199daf9b63d36b4dcf Linux-opam-5-108f302716fa84a4af5fcc199daf9b63d36b4dcf 30 MB cached June 16, 2026 00:27 refs/pull/9825/merge Last used June 26, 2026 09:36
refs/pull/9825/merge
Last used June 26, 2026 09:36
macOS-opam-5-5c8cbaea3aeee... e136164c905a2e03dc0b7e079 macOS-opam-5-5c8cbaea3aeee70e136164c905a2e03dc0b7e079 23 MB cached June 16, 2026 20:27 solver_parallel Last used June 26, 2026 09:36
solver_parallel
Last used June 26, 2026 09:36
Linux-opam-5-5c8cbaea3aeee... e136164c905a2e03dc0b7e079 Linux-opam-5-5c8cbaea3aeee70e136164c905a2e03dc0b7e079 30 MB cached June 16, 2026 20:35 solver_parallel Last used June 26, 2026 09:36
solver_parallel
Last used June 26, 2026 09:36
macOS-opam-5-f2e6d05c56f62... 691125161df935006fe3a2da5 macOS-opam-5-f2e6d05c56f6280691125161df935006fe3a2da5 23 MB cached June 17, 2026 15:38 derive Last used June 24, 2026 15:56
derive
Last used June 24, 2026 15:56
Linux-opam-5-f2e6d05c56f62... 691125161df935006fe3a2da5 Linux-opam-5-f2e6d05c56f6280691125161df935006fe3a2da5 30 MB cached June 17, 2026 15:43 derive Last used June 24, 2026 15:56
derive
Last used June 24, 2026 15:56
macOS-opam-5-6e5639f79dfc6... 146427454f7f4d1ab7c4d90af macOS-opam-5-6e5639f79dfc671146427454f7f4d1ab7c4d90af 23 MB cached June 19, 2026 08:00 lia_w Last used June 25, 2026 14:14
lia_w
Last used June 25, 2026 14:14
Linux-opam-5-6e5639f79dfc6... 146427454f7f4d1ab7c4d90af Linux-opam-5-6e5639f79dfc671146427454f7f4d1ab7c4d90af 30 MB cached June 19, 2026 08:12 lia_w Last used June 25, 2026 14:14
lia_w
Last used June 25, 2026 14:14
v3-setup-ocaml-opam-5b8213... 46eef4422a49588b9b9acfdfb v3-setup-ocaml-opam-5b8213fb5bf98905e8df0f32eb7d178c85960a446eef4422a49588b9b9acfdfb 150 MB cached June 19, 2026 09:12 master Last used June 28, 2026 19:59
master
Last used June 28, 2026 19:59
v3-setup-ocaml-opam-ff8274... 286ccee6a6ea74066d3d9ac96 v3-setup-ocaml-opam-ff8274be50e3f12492d18d7cfdf41537de4399c286ccee6a6ea74066d3d9ac96 130 MB cached June 19, 2026 09:14 master Last used June 28, 2026 17:19
master
Last used June 28, 2026 17:19
macOS-opam-5-cd0ef1d44b75f... 3754666d17404dd9cafa30409 macOS-opam-5-cd0ef1d44b75f583754666d17404dd9cafa30409 27 MB cached June 20, 2026 11:34 dependabot/github_actions/actions/checkout-7.0.0 Last used June 25, 2026 15:14
dependabot/github_actions/actions/checkout-7.0.0
Last used June 25, 2026 15:14
Linux-opam-5-cd0ef1d44b75f... 3754666d17404dd9cafa30409 Linux-opam-5-cd0ef1d44b75f583754666d17404dd9cafa30409 32 MB cached June 20, 2026 11:39 dependabot/github_actions/actions/checkout-7.0.0 Last used June 25, 2026 15:14
dependabot/github_actions/actions/checkout-7.0.0
Last used June 25, 2026 15:14
v3-setup-ocaml-opam-8dd813... 89bb97be17e235aeb7b5020b0 v3-setup-ocaml-opam-8dd813ea86caa9d3c66ecfc97035566dd9fd05389bb97be17e235aeb7b5020b0 130 MB cached June 22, 2026 19:05 master Last used June 28, 2026 20:00
master
Last used June 28, 2026 20:00
macOS-opam-5-500ca46434627... d2a2b2777edd5160dbbcff211 macOS-opam-5-500ca46434627ddd2a2b2777edd5160dbbcff211 28 MB cached June 23, 2026 19:12 master Last used June 24, 2026 01:53
master
Last used June 24, 2026 01:53
z3-build-Linux-500ca464346... d2a2b2777edd5160dbbcff211 z3-build-Linux-500ca46434627ddd2a2b2777edd5160dbbcff211 27 MB cached June 23, 2026 19:13 master Last used June 23, 2026 20:04
master
Last used June 23, 2026 20:04
macOS-opam-5-0adbcaf0d5712... fc60cf99771a8ad0726fa831e macOS-opam-5-0adbcaf0d571209fc60cf99771a8ad0726fa831e 28 MB cached June 23, 2026 19:13 master Last used June 24, 2026 10:58
master
Last used June 24, 2026 10:58
z3-build-Linux-0adbcaf0d57... fc60cf99771a8ad0726fa831e z3-build-Linux-0adbcaf0d571209fc60cf99771a8ad0726fa831e 27 MB cached June 23, 2026 19:14 master Last used June 24, 2026 10:58
master
Last used June 24, 2026 10:58
Linux-opam-5-0adbcaf0d5712... fc60cf99771a8ad0726fa831e Linux-opam-5-0adbcaf0d571209fc60cf99771a8ad0726fa831e 32 MB cached June 23, 2026 19:20 master Last used June 23, 2026 19:20
master
Last used June 23, 2026 19:20
Linux-opam-5-cd2915ff3c094... 752ad61d520c948c743e6fbbf Linux-opam-5-cd2915ff3c09433752ad61d520c948c743e6fbbf 32 MB cached June 23, 2026 19:20 master Last used June 23, 2026 19:20
master
Last used June 23, 2026 19:20
Linux-opam-5-500ca46434627... d2a2b2777edd5160dbbcff211 Linux-opam-5-500ca46434627ddd2a2b2777edd5160dbbcff211 32 MB cached June 23, 2026 19:24 master Last used June 24, 2026 10:58
master
Last used June 24, 2026 10:58
macOS-opam-5-c19330a3b636f... 32750a8265c375ba4828ec807 macOS-opam-5-c19330a3b636fce32750a8265c375ba4828ec807 27 MB cached June 23, 2026 23:33 refs/pull/9939/merge Last used June 23, 2026 23:33
refs/pull/9939/merge
Last used June 23, 2026 23:33
macOS-opam-5-1f2eb4a1ab662... 4c822a8ba4d7b69d1893eab64 macOS-opam-5-1f2eb4a1ab662114c822a8ba4d7b69d1893eab64 28 MB cached June 23, 2026 23:36 fix/ho-var-term-enum-bound-iss-5753-8759b0bf981e4366 Last used June 23, 2026 23:36
fix/ho-var-term-enum-bound-iss-5753-8759b0bf981e4366
Last used June 23, 2026 23:36
Linux-opam-5-1f2eb4a1ab662... 4c822a8ba4d7b69d1893eab64 Linux-opam-5-1f2eb4a1ab662114c822a8ba4d7b69d1893eab64 32 MB cached June 23, 2026 23:45 fix/ho-var-term-enum-bound-iss-5753-8759b0bf981e4366 Last used June 23, 2026 23:45
fix/ho-var-term-enum-bound-iss-5753-8759b0bf981e4366
Last used June 23, 2026 23:45
Linux-opam-5-c19330a3b636f... 32750a8265c375ba4828ec807 Linux-opam-5-c19330a3b636fce32750a8265c375ba4828ec807 32 MB cached June 23, 2026 23:46 refs/pull/9939/merge Last used June 23, 2026 23:46
refs/pull/9939/merge
Last used June 23, 2026 23:46
macOS-opam-5-fa47741039622... bdd41a74ffb87eec61f311abf macOS-opam-5-fa477410396221dbdd41a74ffb87eec61f311abf 27 MB cached June 24, 2026 00:42 refs/pull/9940/merge Last used June 24, 2026 00:42
refs/pull/9940/merge
Last used June 24, 2026 00:42