Skip to content

Actions: rems-project/sail

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
v1-setup-ocaml-opam-e9c349... bbfdfaca0ce8200fb9304df16 v1-setup-ocaml-opam-e9c34972d2de1a12bffcd2227e2cfd394cc3450bbfdfaca0ce8200fb9304df16 150 MB cached December 8, 2025 11:15 sail2 Last used February 11, 2026 10:11
sail2
Last used February 11, 2026 10:11
v1-setup-ocaml-cygwin-3.6.6 v1-setup-ocaml-cygwin-3.6.6 470 MB cached February 10, 2026 10:35 sail2 Last used February 11, 2026 10:11
sail2
Last used February 11, 2026 10:11
v1-setup-ocaml-opam-ee6734... 6feb6b996f2838514c82a5616 v1-setup-ocaml-opam-ee673415e3ac83af35aea6084e4042653a60d326feb6b996f2838514c82a5616 120 MB cached January 28, 2026 07:11 sail2 Last used February 11, 2026 09:58
sail2
Last used February 11, 2026 09:58
v1-setup-ocaml-opam-7b0a2d... 499ca425e5e6d0d8ec1171580 v1-setup-ocaml-opam-7b0a2d4bd3736839e983e61ac2f2aa4bba18800499ca425e5e6d0d8ec1171580 150 MB cached December 8, 2025 10:51 sail2 Last used February 11, 2026 09:58
sail2
Last used February 11, 2026 09:58
v1-setup-ocaml-opam-b98336... ca3a8079e6e265bc23aa89cc1 v1-setup-ocaml-opam-b98336afe3f10f1b5d688f41767850cb1ef3b7bca3a8079e6e265bc23aa89cc1 140 MB cached December 8, 2025 10:51 sail2 Last used February 11, 2026 09:58
sail2
Last used February 11, 2026 09:58
ubuntu-latest-5.0.0-0.27.0-fmt ubuntu-latest-5.0.0-0.27.0-fmt 340 MB cached March 12, 2025 17:20 sail2 Last used February 11, 2026 09:58
sail2
Last used February 11, 2026 09:58
v1-setup-ocaml-opam-745fe9... 78464ec85d37924d8f96b37b4 v1-setup-ocaml-opam-745fe9315ca7049a693892e5ee8b21fe4a37e9a78464ec85d37924d8f96b37b4 130 MB cached December 8, 2025 10:52 sail2 Last used February 11, 2026 09:58
sail2
Last used February 11, 2026 09:58
v1-setup-ocaml-opam-4985e5... 9d0198f51485d256a79882364 v1-setup-ocaml-opam-4985e58db20ef5a4975026b3b1a0501f177f42a9d0198f51485d256a79882364 150 MB cached December 8, 2025 10:52 sail2 Last used February 11, 2026 09:57
sail2
Last used February 11, 2026 09:57
ubuntu-24.04-5.2.1-cov ubuntu-24.04-5.2.1-cov 140 MB cached August 29, 2025 17:41 sail2 Last used February 11, 2026 09:03
sail2
Last used February 11, 2026 09:03
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached February 11, 2026 08:41 refs/pull/1621/merge Last used February 11, 2026 08:42
refs/pull/1621/merge
Last used February 11, 2026 08:42
v1-setup-ocaml-cygwin-3.6.6 v1-setup-ocaml-cygwin-3.6.6 470 MB cached February 10, 2026 09:50 user/timh/empty_switch Last used February 10, 2026 09:50
user/timh/empty_switch
Last used February 10, 2026 09:50
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached February 9, 2026 09:07 refs/pull/1618/merge Last used February 10, 2026 09:36
refs/pull/1618/merge
Last used February 10, 2026 09:36
v1-setup-ocaml-cygwin-3.6.6 v1-setup-ocaml-cygwin-3.6.6 470 MB cached February 6, 2026 08:42 e_undef Last used February 6, 2026 09:48
e_undef
Last used February 6, 2026 09:48
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached February 6, 2026 08:27 refs/pull/1620/merge Last used February 6, 2026 09:33
refs/pull/1620/merge
Last used February 6, 2026 09:33
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached February 2, 2026 03:47 refs/pull/1617/merge Last used February 3, 2026 09:01
refs/pull/1617/merge
Last used February 3, 2026 09:01
v1-setup-ocaml-cygwin-3.6.5 v1-setup-ocaml-cygwin-3.6.5 470 MB cached December 8, 2025 11:05 sail2 Last used January 29, 2026 10:08
sail2
Last used January 29, 2026 10:08
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached January 29, 2026 08:54 refs/pull/1616/merge Last used January 29, 2026 08:55
refs/pull/1616/merge
Last used January 29, 2026 08:55
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached January 29, 2026 06:30 refs/pull/1615/merge Last used January 29, 2026 07:11
refs/pull/1615/merge
Last used January 29, 2026 07:11
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached January 28, 2026 08:20 refs/pull/1614/merge Last used January 28, 2026 09:02
refs/pull/1614/merge
Last used January 28, 2026 09:02
v1-setup-ocaml-opam-ee6734... 6feb6b996f2838514c82a5616 v1-setup-ocaml-opam-ee673415e3ac83af35aea6084e4042653a60d326feb6b996f2838514c82a5616 120 MB cached January 28, 2026 06:28 global_constraint_fix2 Last used January 28, 2026 06:28
global_constraint_fix2
Last used January 28, 2026 06:28
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached January 28, 2026 06:25 refs/pull/1613/merge Last used January 28, 2026 06:25
refs/pull/1613/merge
Last used January 28, 2026 06:25
v1-setup-ocaml-opam-863b3a... cf97a4d19c5093b95700f7ec2 v1-setup-ocaml-opam-863b3a9fd72c826ce7ecbd932f74f8d3b49882acf97a4d19c5093b95700f7ec2 120 MB cached December 8, 2025 10:53 sail2 Last used January 26, 2026 10:58
sail2
Last used January 26, 2026 10:58
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached January 26, 2026 10:03 refs/pull/1611/merge Last used January 26, 2026 10:03
refs/pull/1611/merge
Last used January 26, 2026 10:03
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached January 23, 2026 07:00 refs/pull/1610/merge Last used January 23, 2026 07:01
refs/pull/1610/merge
Last used January 23, 2026 07:01
ubuntu-24.04-5.2.1-elan ubuntu-24.04-5.2.1-elan 4.6 MB cached January 22, 2026 09:26 refs/pull/1609/merge Last used January 22, 2026 09:26
refs/pull/1609/merge
Last used January 22, 2026 09:26