Skip to content

Actions: CalosciMatteo/UniMath

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
UniMath-Linux-coq-dev-22837172819-34 UniMath-Linux-coq-dev-22837172819-34 970 MB cached March 8, 2026 21:25 master Last used March 8, 2026 21:25
master
Last used March 8, 2026 21:25
UniMath-Linux-coq-latest-22837172819-34 UniMath-Linux-coq-latest-22837172819-34 150 MB cached March 8, 2026 21:24 master Last used March 8, 2026 21:24
master
Last used March 8, 2026 21:24
GrpdHITs-coq-dev-22837172819-34 GrpdHITs-coq-dev-22837172819-34 240 MB cached March 8, 2026 20:47 master Last used March 8, 2026 20:47
master
Last used March 8, 2026 20:47
TypeTheory-coq-dev-22837172819-34 TypeTheory-coq-dev-22837172819-34 130 MB cached March 8, 2026 20:35 master Last used March 8, 2026 20:35
master
Last used March 8, 2026 20:35
largecatmodules-coq-dev-22837172819-34 largecatmodules-coq-dev-22837172819-34 110 MB cached March 8, 2026 20:35 master Last used March 8, 2026 20:35
master
Last used March 8, 2026 20:35
SetHITs-coq-dev-22837172819-34 SetHITs-coq-dev-22837172819-34 87 MB cached March 8, 2026 20:34 master Last used March 8, 2026 20:34
master
Last used March 8, 2026 20:34
Schools-coq-dev-22837172819-34 Schools-coq-dev-22837172819-34 89 MB cached March 8, 2026 20:34 master Last used March 8, 2026 20:34
master
Last used March 8, 2026 20:34
GrpdHITs-coq-latest-22837172819-34 GrpdHITs-coq-latest-22837172819-34 38 MB cached March 8, 2026 20:33 master Last used March 8, 2026 20:33
master
Last used March 8, 2026 20:33
Schools-coq-latest-22837172819-34 Schools-coq-latest-22837172819-34 20 MB cached March 8, 2026 20:33 master Last used March 8, 2026 20:33
master
Last used March 8, 2026 20:33
largecatmodules-coq-latest-22837172819-34 largecatmodules-coq-latest-22837172819-34 22 MB cached March 8, 2026 20:33 master Last used March 8, 2026 20:33
master
Last used March 8, 2026 20:33
TypeTheory-coq-latest-22837172819-34 TypeTheory-coq-latest-22837172819-34 26 MB cached March 8, 2026 20:33 master Last used March 8, 2026 20:33
master
Last used March 8, 2026 20:33
SetHITs-coq-latest-22837172819-34 SetHITs-coq-latest-22837172819-34 19 MB cached March 8, 2026 20:33 master Last used March 8, 2026 20:33
master
Last used March 8, 2026 20:33
Schools-coq-latest-22560147139-33 Schools-coq-latest-22560147139-33 20 MB cached March 1, 2026 19:30 master Last used March 8, 2026 20:32
master
Last used March 8, 2026 20:32
GrpdHITs-coq-latest-22560147139-33 GrpdHITs-coq-latest-22560147139-33 38 MB cached March 1, 2026 19:43 master Last used March 8, 2026 20:32
master
Last used March 8, 2026 20:32
largecatmodules-coq-latest-22560147139-33 largecatmodules-coq-latest-22560147139-33 22 MB cached March 1, 2026 19:31 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
largecatmodules-coq-dev-22560147139-33 largecatmodules-coq-dev-22560147139-33 100 MB cached March 1, 2026 19:31 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
TypeTheory-coq-dev-22560147139-33 TypeTheory-coq-dev-22560147139-33 130 MB cached March 1, 2026 19:31 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
UniMath-Linux-coq-dev-22560147139-33 UniMath-Linux-coq-dev-22560147139-33 910 MB cached March 1, 2026 20:20 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
SetHITs-coq-dev-22560147139-33 SetHITs-coq-dev-22560147139-33 83 MB cached March 1, 2026 19:30 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
Schools-coq-dev-22560147139-33 Schools-coq-dev-22560147139-33 83 MB cached March 1, 2026 19:30 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
UniMath-doc-Linux-coq-latest-21811513977-30 UniMath-doc-Linux-coq-latest-21811513977-30 98 MB cached February 8, 2026 20:36 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
TypeTheory-coq-latest-22560147139-33 TypeTheory-coq-latest-22560147139-33 26 MB cached March 1, 2026 19:31 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
SetHITs-coq-latest-22560147139-33 SetHITs-coq-latest-22560147139-33 19 MB cached March 1, 2026 19:31 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31
GrpdHITs-coq-dev-22560147139-33 GrpdHITs-coq-dev-22560147139-33 220 MB cached March 1, 2026 19:44 master Last used March 8, 2026 20:31
master
Last used March 8, 2026 20:31