Actions: agda/agda-categories
Actions
Showing caches from all workflows.
Learn more about managing caches.
1 cache
1 cache
Linux-agda-2.8.0-commit-31... d5613b894570b86b8c6092020
Linux-agda-2.8.0-commit-31120936bb5e4d0d5613b894570b86b8c6092020
54 MB cached April 19, 2026 04:12
refs/pull/513/merge
Last used April 19, 2026 04:12
refs/pull/513/merge
Last used April 19, 2026 04:12