Actions: leanprover/doc-gen4
Actions
Showing caches from all workflows.
Learn more about managing caches.
18 caches
18 caches
lake-Linux-X64-b2cedb9c82b... 9f0d02941e558b5a9b8d93cc6
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-1cd5486cbd9da4dbf082e6d8c1a8cb97065f003fe8f6c9496bffdf93a9dc917d-9af9a834c594d719f0d02941e558b5a9b8d93cc6
92 MB cached January 18, 2026 21:45
refs/pull/347/merge
Last used January 18, 2026 21:45
refs/pull/347/merge
Last used January 18, 2026 21:45
lake-Linux-X64-b2cedb9c82b... de80221cb2b339049c998f7a4
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-837f89af8e04d19de80221cb2b339049c998f7a4
83 MB cached January 17, 2026 13:04
main
Last used January 17, 2026 13:04
Last used January 17, 2026 13:04
lake-Linux-X64-b2cedb9c82b... 461e226ab5fedb83e5b07c879
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-5b5f81c218630ec461e226ab5fedb83e5b07c879
83 MB cached January 16, 2026 00:47
main
Last used January 17, 2026 13:04
Last used January 17, 2026 13:04
lake-Linux-X64-b2cedb9c82b... a2c9e43f47bd501708b14d3e8
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-f03d4dccf7dcbb1a2c9e43f47bd501708b14d3e8
83 MB cached January 17, 2026 12:02
refs/pull/346/merge
Last used January 17, 2026 12:02
refs/pull/346/merge
Last used January 17, 2026 12:02
lake-Linux-X64-b2cedb9c82b... 33141c5f00b61708e939979e5
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-c07927d1273950433141c5f00b61708e939979e5
83 MB cached January 17, 2026 10:49
refs/pull/346/merge
Last used January 17, 2026 12:01
refs/pull/346/merge
Last used January 17, 2026 12:01
lake-Linux-X64-b2cedb9c82b... b7e139cc0e85409edcb7c4e5d
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-d9db66b8b32e4e7b7e139cc0e85409edcb7c4e5d
83 MB cached January 16, 2026 09:16
refs/pull/346/merge
Last used January 17, 2026 10:49
refs/pull/346/merge
Last used January 17, 2026 10:49
lake-Linux-X64-b2cedb9c82b... ccc1d6e21651878db0b034a7d
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-fdc44fcd2daed04ccc1d6e21651878db0b034a7d
83 MB cached January 16, 2026 08:51
refs/pull/346/merge
Last used January 16, 2026 09:16
refs/pull/346/merge
Last used January 16, 2026 09:16
lake-Linux-X64-b2cedb9c82b... 637d202f980f9ca162e63b2ee
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-7553bd5b3c9da29637d202f980f9ca162e63b2ee
83 MB cached January 16, 2026 07:56
refs/pull/346/merge
Last used January 16, 2026 08:51
refs/pull/346/merge
Last used January 16, 2026 08:51
lake-Linux-X64-b2cedb9c82b... 185c198e96f15542336dc2413
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-cc1a61983e46cf9185c198e96f15542336dc2413
83 MB cached January 8, 2026 12:50
main
Last used January 16, 2026 00:47
Last used January 16, 2026 00:47
lake-Linux-X64-b2cedb9c82b... 5942d034f84f83d59cb965548
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-4ace7ed60ee42f85942d034f84f83d59cb965548
83 MB cached January 15, 2026 14:26
refs/pull/344/merge
Last used January 15, 2026 14:26
refs/pull/344/merge
Last used January 15, 2026 14:26
lake-Linux-X64-b2cedb9c82b... 0897184a3e2906241267bcdfd
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-05bb84181739ecc0897184a3e2906241267bcdfd
83 MB cached December 14, 2025 04:04
main
Last used January 8, 2026 12:50
Last used January 8, 2026 12:50
lake-Linux-X64-b2cedb9c82b... f7fbb53281f4502190ed4f0a8
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-5c1f1862f6dec13f7fbb53281f4502190ed4f0a8
83 MB cached January 8, 2026 12:40
refs/pull/341/merge
Last used January 8, 2026 12:40
refs/pull/341/merge
Last used January 8, 2026 12:40
lake-Linux-X64-b2cedb9c82b... 749be16346f32e4ac6990e84b
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-1bec83fb0add104749be16346f32e4ac6990e84b
83 MB cached January 5, 2026 07:55
refs/pull/340/merge
Last used January 5, 2026 07:55
refs/pull/340/merge
Last used January 5, 2026 07:55
lake-Linux-X64-b2cedb9c82b... 5694a83e06a0a780cd94c350c
lake-Linux-X64-b2cedb9c82b050687eb442d7e73022ef525d4309c14a0843607e471e0a46dff8-2e28e9f8d963c068415964fbda0ba044d8fc0e8bbcfc3143a88b6b6db0f2d715-c18f74659f968225694a83e06a0a780cd94c350c
83 MB cached December 14, 2025 03:51
refs/pull/338/merge
Last used December 14, 2025 03:51
refs/pull/338/merge
Last used December 14, 2025 03:51
lake-Linux-X64-f5f1f2b8668... 125c596f0b164349d4a7d5bf5
lake-Linux-X64-f5f1f2b866889a10767f6e74d3dca17f3e1151f40475f29433ef9ff6107f3392-79922320946e1f4c58372b97c51460c1db3007ad6584b2099a6f6f5e7e1500b3-77ef3eb515ad6bd125c596f0b164349d4a7d5bf5
83 MB cached December 13, 2025 01:05
main
Last used December 13, 2025 01:05
Last used December 13, 2025 01:05
lake-Linux-X64-f5f1f2b8668... 97d3d496e7cc253185fdae442
lake-Linux-X64-f5f1f2b866889a10767f6e74d3dca17f3e1151f40475f29433ef9ff6107f3392-79922320946e1f4c58372b97c51460c1db3007ad6584b2099a6f6f5e7e1500b3-7a729d0c4587ef797d3d496e7cc253185fdae442
83 MB cached December 13, 2025 00:56
refs/pull/337/merge
Last used December 13, 2025 00:56
refs/pull/337/merge
Last used December 13, 2025 00:56
lake-Linux-X64-6c111c3ef72... d4cfebf042bf995447695d2fb
lake-Linux-X64-6c111c3ef726fed63eff0e841f5c2883f495971cd42c63b4e723a3ae2bf016c5-7b7f2be3d8c40058d1a68c1a9eff02dc47cf3a7cf910a431e5d38b377f104962-fe058d1c56789f8d4cfebf042bf995447695d2fb
83 MB cached December 8, 2025 01:07
refs/pull/336/merge
Last used December 8, 2025 01:07
refs/pull/336/merge
Last used December 8, 2025 01:07
lake-Linux-X64-6c111c3ef72... f76d6d984eef16cade7956e0c
lake-Linux-X64-6c111c3ef726fed63eff0e841f5c2883f495971cd42c63b4e723a3ae2bf016c5-7b7f2be3d8c40058d1a68c1a9eff02dc47cf3a7cf910a431e5d38b377f104962-2679356b3372d52f76d6d984eef16cade7956e0c
83 MB cached November 27, 2025 05:53
main
Last used December 8, 2025 01:06
Last used December 8, 2025 01:06