Skip to content

Actions: Deducteam/isabelle_dedukti

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
v3-setup-ocaml-opam-a38bb0... d424ec4e43c9cad5dedf2eae4 v3-setup-ocaml-opam-a38bb0cf4590c421c951d1a28f984a8114f0cdbd424ec4e43c9cad5dedf2eae4 140 MB cached July 1, 2026 01:50 master Last used July 1, 2026 01:50
master
Last used July 1, 2026 01:50
v3-setup-ocaml-opam-a38bb0... d424ec4e43c9cad5dedf2eae4 v3-setup-ocaml-opam-a38bb0cf4590c421c951d1a28f984a8114f0cdbd424ec4e43c9cad5dedf2eae4 140 MB cached July 1, 2026 01:39 refs/pull/51/merge Last used July 1, 2026 01:39
refs/pull/51/merge
Last used July 1, 2026 01:39
v3-setup-ocaml-opam-a38bb0... d424ec4e43c9cad5dedf2eae4 v3-setup-ocaml-opam-a38bb0cf4590c421c951d1a28f984a8114f0cdbd424ec4e43c9cad5dedf2eae4 140 MB cached July 1, 2026 01:39 dependabot/github_actions/actions/checkout-7 Last used July 1, 2026 01:39
dependabot/github_actions/actions/checkout-7
Last used July 1, 2026 01:39