Actions: leanprover-community/mathlib4
Actions
Showing caches from all workflows.
Learn more about managing caches.
689 cache results
689 cache results
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 07:17
refs/pull/35593/merge
Last used April 7, 2026 02:48
refs/pull/35593/merge
Last used April 7, 2026 02:48
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 07:21
refs/pull/28683/merge
Last used April 14, 2026 00:39
refs/pull/28683/merge
Last used April 14, 2026 00:39
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 07:54
refs/pull/37501/merge
Last used April 8, 2026 11:42
refs/pull/37501/merge
Last used April 8, 2026 11:42
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 08:10
refs/pull/36731/merge
Last used April 14, 2026 12:20
refs/pull/36731/merge
Last used April 14, 2026 12:20
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 08:10
refs/pull/37489/merge
Last used April 7, 2026 04:30
refs/pull/37489/merge
Last used April 7, 2026 04:30
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 09:13
refs/pull/26304/merge
Last used April 10, 2026 02:26
refs/pull/26304/merge
Last used April 10, 2026 02:26
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 09:23
refs/pull/35281/merge
Last used April 9, 2026 00:24
refs/pull/35281/merge
Last used April 9, 2026 00:24
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 09:26
refs/pull/34275/merge
Last used April 7, 2026 10:05
refs/pull/34275/merge
Last used April 7, 2026 10:05
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 09:28
refs/pull/36934/merge
Last used April 7, 2026 23:50
refs/pull/36934/merge
Last used April 7, 2026 23:50
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 09:55
refs/pull/30077/merge
Last used April 13, 2026 07:24
refs/pull/30077/merge
Last used April 13, 2026 07:24
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 10:32
refs/pull/37130/merge
Last used April 14, 2026 02:20
refs/pull/37130/merge
Last used April 14, 2026 02:20
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 11:46
refs/pull/36416/merge
Last used April 9, 2026 20:07
refs/pull/36416/merge
Last used April 9, 2026 20:07
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 12:15
refs/pull/36936/merge
Last used April 8, 2026 00:23
refs/pull/36936/merge
Last used April 8, 2026 00:23
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 12:16
refs/pull/35896/merge
Last used April 9, 2026 00:43
refs/pull/35896/merge
Last used April 9, 2026 00:43
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 12:44
refs/pull/37513/merge
Last used April 7, 2026 15:10
refs/pull/37513/merge
Last used April 7, 2026 15:10
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 13:02
refs/pull/37075/merge
Last used April 7, 2026 12:07
refs/pull/37075/merge
Last used April 7, 2026 12:07
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 15:22
refs/pull/36698/merge
Last used April 7, 2026 17:57
refs/pull/36698/merge
Last used April 7, 2026 17:57
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 16:16
refs/pull/37356/merge
Last used April 10, 2026 15:32
refs/pull/37356/merge
Last used April 10, 2026 15:32
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 17:00
refs/pull/36385/merge
Last used April 11, 2026 22:21
refs/pull/36385/merge
Last used April 11, 2026 22:21
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 18:57
refs/pull/34298/merge
Last used April 14, 2026 11:16
refs/pull/34298/merge
Last used April 14, 2026 11:16
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 19:37
simps_defeq_warning
Last used April 8, 2026 05:04
Last used April 8, 2026 05:04
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 20:37
refs/pull/37327/merge
Last used April 9, 2026 21:26
refs/pull/37327/merge
Last used April 9, 2026 21:26
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 20:37
refs/pull/37530/merge
Last used April 7, 2026 16:24
refs/pull/37530/merge
Last used April 7, 2026 16:24
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 1, 2026 23:23
refs/pull/36772/merge
Last used April 13, 2026 07:16
refs/pull/36772/merge
Last used April 13, 2026 07:16
pre-commit-3|/opt/hostedto... e1462de037562bad254f4021e
pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|b41dc86603c1f836e833bee9deb6a96a06d22c6e1462de037562bad254f4021e
3.3 MB cached April 2, 2026 01:40
refs/pull/37008/merge
Last used April 13, 2026 16:49
refs/pull/37008/merge
Last used April 13, 2026 16:49