Skip to content

Actions: CoolRmal/mathlib4

Actions

Caches

Actions

Loading...
Loading

Showing caches from all workflows. Learn more about managing caches.
9 caches
9 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 18, 2026 17:51 todo Last used March 21, 2026 10:45
todo
Last used March 21, 2026 10:45
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 19, 2026 19:52 StronglyMeasurablerpow Last used March 19, 2026 21:34
StronglyMeasurablerpow
Last used March 19, 2026 21:34
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 19, 2026 15:14 monononneg Last used March 19, 2026 16:37
monononneg
Last used March 19, 2026 16:37
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 14, 2026 05:09 condExp_mem Last used March 18, 2026 17:47
condExp_mem
Last used March 18, 2026 17:47
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 18, 2026 12:17 fixdocstring Last used March 18, 2026 12:17
fixdocstring
Last used March 18, 2026 12:17
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 4, 2026 10:52 conditional-jensen Last used March 18, 2026 12:13
conditional-jensen
Last used March 18, 2026 12:13
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 16, 2026 18:50 lusin Last used March 17, 2026 14:40
lusin
Last used March 17, 2026 14:40
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 11, 2026 14:42 torusequiv Last used March 17, 2026 09:17
torusequiv
Last used March 17, 2026 09:17
pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.4 MB cached March 13, 2026 06:03 upperSemiContinuousNeg Last used March 17, 2026 08:53
upperSemiContinuousNeg
Last used March 17, 2026 08:53