Skip to content

Actions: j-loreaux/mathlib4

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 26, 2026 10:41 lpSpace Last used March 30, 2026 13:08
lpSpace
Last used March 30, 2026 13:08
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 25, 2026 09:44 IsMulCommutative-closures Last used March 30, 2026 12:29
IsMulCommutative-closures
Last used March 30, 2026 12:29
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.3 MB cached March 27, 2026 07:47 cfc-realPart Last used March 27, 2026 08:30
cfc-realPart
Last used March 27, 2026 08:30
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 13, 2026 13:12 IsSemitopologicalRing Last used March 26, 2026 10:46
IsSemitopologicalRing
Last used March 26, 2026 10:46
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.3 MB cached March 25, 2026 09:53 CStarAlgebra.norm_add_eq_max Last used March 25, 2026 11:37
CStarAlgebra.norm_add_eq_max
Last used March 25, 2026 11:37
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 22, 2026 21:18 j-loreaux/Unitization-structure Last used March 25, 2026 09:39
j-loreaux/Unitization-structure
Last used March 25, 2026 09:39