Actions: apalache-mc/apalache
Actions
Showing caches from all workflows.
Learn more about managing caches.
26 caches
26 caches
sbt-ivy2-cache-unit-tests-... 508099d42d186c26fc53ad641
sbt-ivy2-cache-unit-tests-matrix-b3ec8d6bd6ea7bfae0b56d6d0d6084dc6a70e8afac77e051dfc848cc035c309c-6b55947138a6347505a8b584ed1c329084947e8508099d42d186c26fc53ad641
170 MB cached January 7, 2026 07:25
refs/pull/3243/merge
Last used January 7, 2026 07:25
refs/pull/3243/merge
Last used January 7, 2026 07:25
coursier-unit-tests-matrix... eb220f5335e27d32be77c18fd
coursier-unit-tests-matrix-b3ec8d6bd6ea7bfae0b56d6d0d6084dc6a70e8afac77e051dfc848cc035c309c-09b59b55cce4e919b11b596ee7b1927ccc50237eb220f5335e27d32be77c18fd
830 MB cached January 7, 2026 07:25
refs/pull/3243/merge
Last used January 7, 2026 07:25
refs/pull/3243/merge
Last used January 7, 2026 07:25
macOS-sbt-1.12.0-1.1.6
macOS-sbt-1.12.0-1.1.6
54 MB cached January 7, 2026 07:25
refs/pull/3243/merge
Last used January 7, 2026 07:25
refs/pull/3243/merge
Last used January 7, 2026 07:25
sbt-ivy2-cache-unit-tests-... 508099d42d186c26fc53ad641
sbt-ivy2-cache-unit-tests-matrix-361967cd86b4df3a6f6ab10779fe945de7035c4e1b821d46d060423e17a29467-6b55947138a6347505a8b584ed1c329084947e8508099d42d186c26fc53ad641
220 MB cached January 7, 2026 07:23
refs/pull/3243/merge
Last used January 7, 2026 07:23
refs/pull/3243/merge
Last used January 7, 2026 07:23
coursier-unit-tests-matrix... eb220f5335e27d32be77c18fd
coursier-unit-tests-matrix-361967cd86b4df3a6f6ab10779fe945de7035c4e1b821d46d060423e17a29467-09b59b55cce4e919b11b596ee7b1927ccc50237eb220f5335e27d32be77c18fd
780 MB cached January 7, 2026 07:23
refs/pull/3243/merge
Last used January 7, 2026 07:23
refs/pull/3243/merge
Last used January 7, 2026 07:23
setup-java-Linux-sbt-d3ba5... 5b746e90c4338284ace8ef8ea
setup-java-Linux-sbt-d3ba5f70ba07e1714d29266c1f8bd8852eefda55b746e90c4338284ace8ef8ea
430 MB cached January 7, 2026 07:21
refs/pull/3243/merge
Last used January 7, 2026 07:21
refs/pull/3243/merge
Last used January 7, 2026 07:21
Linux-sbt-1.12.0-1.1.6
Linux-sbt-1.12.0-1.1.6
54 MB cached January 7, 2026 07:20
refs/pull/3243/merge
Last used January 7, 2026 07:20
refs/pull/3243/merge
Last used January 7, 2026 07:20
sbt-ivy2-cache-compiler-wa... 508099d42d186c26fc53ad641
sbt-ivy2-cache-compiler-warnings-6b55947138a6347505a8b584ed1c329084947e8508099d42d186c26fc53ad641
170 MB cached January 7, 2026 07:20
refs/pull/3243/merge
Last used January 7, 2026 07:20
refs/pull/3243/merge
Last used January 7, 2026 07:20
coursier-compiler-warnings... eb220f5335e27d32be77c18fd
coursier-compiler-warnings-09b59b55cce4e919b11b596ee7b1927ccc50237eb220f5335e27d32be77c18fd
310 MB cached January 7, 2026 07:20
refs/pull/3243/merge
Last used January 7, 2026 07:20
refs/pull/3243/merge
Last used January 7, 2026 07:20
sbt-ivy2-cache-unit-tests-... 43a0078e4b18a1a2dcbee2ef3
sbt-ivy2-cache-unit-tests-matrix-b3ec8d6bd6ea7bfae0b56d6d0d6084dc6a70e8afac77e051dfc848cc035c309c-b4ce8dfe83d8c27a00561b7afd50e6c34c2dad343a0078e4b18a1a2dcbee2ef3
170 MB cached December 11, 2025 01:59
main
Last used January 7, 2026 07:18
Last used January 7, 2026 07:18
sbt-ivy2-cache-unit-tests-... 43a0078e4b18a1a2dcbee2ef3
sbt-ivy2-cache-unit-tests-matrix-361967cd86b4df3a6f6ab10779fe945de7035c4e1b821d46d060423e17a29467-b4ce8dfe83d8c27a00561b7afd50e6c34c2dad343a0078e4b18a1a2dcbee2ef3
170 MB cached December 11, 2025 01:58
main
Last used January 7, 2026 07:17
Last used January 7, 2026 07:17
coursier-unit-tests-matrix... e1383466f58be1cabec980fec
coursier-unit-tests-matrix-b3ec8d6bd6ea7bfae0b56d6d0d6084dc6a70e8afac77e051dfc848cc035c309c-62c6b1c53e5c6d6cf93d668d84bef985837bfb6e1383466f58be1cabec980fec
720 MB cached December 11, 2025 01:58
main
Last used January 7, 2026 07:17
Last used January 7, 2026 07:17
sbt-ivy2-cache-unit-tests-... 77579be25b2336b64c17d864c
sbt-ivy2-cache-unit-tests-matrix-b3ec8d6bd6ea7bfae0b56d6d0d6084dc6a70e8afac77e051dfc848cc035c309c-3d38f08b515266d5cedcfd4b7b6e626befc713277579be25b2336b64c17d864c
240 MB cached January 5, 2026 10:28
refs/pull/3242/merge
Last used January 5, 2026 10:28
refs/pull/3242/merge
Last used January 5, 2026 10:28
coursier-unit-tests-matrix... 374afe5b4383e0630541c6de6
coursier-unit-tests-matrix-b3ec8d6bd6ea7bfae0b56d6d0d6084dc6a70e8afac77e051dfc848cc035c309c-f19e3f94e96181d1898adb2ef8257b9ee99498e374afe5b4383e0630541c6de6
860 MB cached January 5, 2026 10:28
refs/pull/3242/merge
Last used January 5, 2026 10:28
refs/pull/3242/merge
Last used January 5, 2026 10:28
sbt-ivy2-cache-unit-tests-... 77579be25b2336b64c17d864c
sbt-ivy2-cache-unit-tests-matrix-361967cd86b4df3a6f6ab10779fe945de7035c4e1b821d46d060423e17a29467-3d38f08b515266d5cedcfd4b7b6e626befc713277579be25b2336b64c17d864c
290 MB cached January 5, 2026 10:21
refs/pull/3242/merge
Last used January 5, 2026 10:21
refs/pull/3242/merge
Last used January 5, 2026 10:21
coursier-unit-tests-matrix... 374afe5b4383e0630541c6de6
coursier-unit-tests-matrix-361967cd86b4df3a6f6ab10779fe945de7035c4e1b821d46d060423e17a29467-f19e3f94e96181d1898adb2ef8257b9ee99498e374afe5b4383e0630541c6de6
800 MB cached January 5, 2026 10:21
refs/pull/3242/merge
Last used January 5, 2026 10:21
refs/pull/3242/merge
Last used January 5, 2026 10:21
sbt-ivy2-cache-unit-tests-... 49ad9f310f106ec147eae6e1c
sbt-ivy2-cache-unit-tests-matrix-361967cd86b4df3a6f6ab10779fe945de7035c4e1b821d46d060423e17a29467-f2381c4d8c8abbf41caa582e399fe36b9230fbc49ad9f310f106ec147eae6e1c
220 MB cached January 5, 2026 10:20
refs/pull/3241/merge
Last used January 5, 2026 10:20
refs/pull/3241/merge
Last used January 5, 2026 10:20
coursier-unit-tests-matrix... fcb3c1b8470521a36dfbba44f
coursier-unit-tests-matrix-361967cd86b4df3a6f6ab10779fe945de7035c4e1b821d46d060423e17a29467-06ca9874ede94a5f7aaeffb671093ec9d9c8b8efcb3c1b8470521a36dfbba44f
780 MB cached January 5, 2026 10:20
refs/pull/3241/merge
Last used January 5, 2026 10:20
refs/pull/3241/merge
Last used January 5, 2026 10:20
sbt-ivy2-cache-unit-tests-... 49ad9f310f106ec147eae6e1c
sbt-ivy2-cache-unit-tests-matrix-b3ec8d6bd6ea7bfae0b56d6d0d6084dc6a70e8afac77e051dfc848cc035c309c-f2381c4d8c8abbf41caa582e399fe36b9230fbc49ad9f310f106ec147eae6e1c
170 MB cached January 5, 2026 10:20
refs/pull/3241/merge
Last used January 5, 2026 10:20
refs/pull/3241/merge
Last used January 5, 2026 10:20
coursier-unit-tests-matrix... fcb3c1b8470521a36dfbba44f
coursier-unit-tests-matrix-b3ec8d6bd6ea7bfae0b56d6d0d6084dc6a70e8afac77e051dfc848cc035c309c-06ca9874ede94a5f7aaeffb671093ec9d9c8b8efcb3c1b8470521a36dfbba44f
830 MB cached January 5, 2026 10:20
refs/pull/3241/merge
Last used January 5, 2026 10:20
refs/pull/3241/merge
Last used January 5, 2026 10:20
setup-java-Linux-sbt-83aea... 3b487a097c573e6ae8ec4fa57
setup-java-Linux-sbt-83aea3aae6d8c157914d44cb872f6fb9ec37eef3b487a097c573e6ae8ec4fa57
430 MB cached January 5, 2026 10:19
refs/pull/3241/merge
Last used January 5, 2026 10:19
refs/pull/3241/merge
Last used January 5, 2026 10:19
setup-java-Linux-sbt-b8c5a... 223ad6b1dc6b161a7ce032c1d
setup-java-Linux-sbt-b8c5a6578c4f1f22e8ebf817d63cdc0b80bf287223ad6b1dc6b161a7ce032c1d
440 MB cached January 5, 2026 10:19
refs/pull/3242/merge
Last used January 5, 2026 10:19
refs/pull/3242/merge
Last used January 5, 2026 10:19
sbt-ivy2-cache-compiler-wa... 49ad9f310f106ec147eae6e1c
sbt-ivy2-cache-compiler-warnings-f2381c4d8c8abbf41caa582e399fe36b9230fbc49ad9f310f106ec147eae6e1c
170 MB cached January 5, 2026 10:18
refs/pull/3241/merge
Last used January 5, 2026 10:18
refs/pull/3241/merge
Last used January 5, 2026 10:18