Skip to content

Actions: jespercockx/agda-core

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
nix-agda-core-hs-fea7ecb3c... 9eaa6d976872e099912610059 nix-agda-core-hs-fea7ecb3c34856a085f6fb84b50e69bc2c41d9b9eaa6d976872e099912610059 870 MB cached February 3, 2026 05:59 main Last used February 5, 2026 09:12
main
Last used February 5, 2026 09:12
nix-agda-core-lib-fea7ecb3... 9eaa6d976872e099912610059 nix-agda-core-lib-fea7ecb3c34856a085f6fb84b50e69bc2c41d9b9eaa6d976872e099912610059 870 MB cached February 3, 2026 05:58 main Last used February 5, 2026 09:11
main
Last used February 5, 2026 09:11
nix-agda-core-hs-1f128dad3... d197c4be69b7184d7a1ecbfca nix-agda-core-hs-1f128dad3659d1a43c954dc54ab50af01d863b3d197c4be69b7184d7a1ecbfca 870 MB cached November 28, 2025 05:43 main Last used February 3, 2026 07:55
main
Last used February 3, 2026 07:55
nix-agda-core-lib-1f128dad... d197c4be69b7184d7a1ecbfca nix-agda-core-lib-1f128dad3659d1a43c954dc54ab50af01d863b3d197c4be69b7184d7a1ecbfca 860 MB cached November 28, 2025 05:43 main Last used February 3, 2026 07:54
main
Last used February 3, 2026 07:54