Actions: agda/agda-stdlib
Actions
Showing caches from all workflows.
Learn more about managing caches.
262 caches
262 caches
Linux-ghc-8.10.7-00efe1601... 8880606207c13785ed4380110
Linux-ghc-8.10.7-00efe1601aa21fb8880606207c13785ed4380110
160 KB cached April 16, 2026 05:22
refs/pull/2980/merge
Last used April 16, 2026 07:25
refs/pull/2980/merge
Last used April 16, 2026 07:25
Linux-ghc-8.8.4-00efe1601a... 8880606207c13785ed4380110
Linux-ghc-8.8.4-00efe1601aa21fb8880606207c13785ed4380110
170 KB cached April 16, 2026 05:19
refs/pull/2980/merge
Last used April 16, 2026 07:21
refs/pull/2980/merge
Last used April 16, 2026 07:21
Linux-ghc-9.10.2-00efe1601... 8880606207c13785ed4380110
Linux-ghc-9.10.2-00efe1601aa21fb8880606207c13785ed4380110
170 KB cached April 16, 2026 05:25
refs/pull/2980/merge
Last used April 16, 2026 07:19
refs/pull/2980/merge
Last used April 16, 2026 07:19
Linux-ghc-9.0.2-6ee1462589... 6026c001bd80985203a7e5960
Linux-ghc-9.0.2-6ee14625899365c6026c001bd80985203a7e5960
170 KB cached April 16, 2026 04:16
refs/pull/2981/merge
Last used April 16, 2026 05:55
refs/pull/2981/merge
Last used April 16, 2026 05:55
Linux-ghc-9.4.8-6ee1462589... 6026c001bd80985203a7e5960
Linux-ghc-9.4.8-6ee14625899365c6026c001bd80985203a7e5960
160 KB cached April 16, 2026 04:17
refs/pull/2981/merge
Last used April 16, 2026 05:49
refs/pull/2981/merge
Last used April 16, 2026 05:49
Linux-ghc-8.8.4-6ee1462589... 6026c001bd80985203a7e5960
Linux-ghc-8.8.4-6ee14625899365c6026c001bd80985203a7e5960
170 KB cached April 16, 2026 04:19
refs/pull/2981/merge
Last used April 16, 2026 05:49
refs/pull/2981/merge
Last used April 16, 2026 05:49
Linux-ghc-8.10.7-6ee146258... 6026c001bd80985203a7e5960
Linux-ghc-8.10.7-6ee14625899365c6026c001bd80985203a7e5960
160 KB cached April 16, 2026 04:09
refs/pull/2981/merge
Last used April 16, 2026 05:48
refs/pull/2981/merge
Last used April 16, 2026 05:48
Linux-ghc-9.2.8-70df0c5529... 436e1c3d974e6cd3b63dd483c
Linux-ghc-9.2.8-70df0c55296d8a5436e1c3d974e6cd3b63dd483c
170 KB cached April 16, 2026 04:25
refs/pull/2980/merge
Last used April 16, 2026 05:44
refs/pull/2980/merge
Last used April 16, 2026 05:44
Linux-ghc-9.8.4-6ee1462589... 6026c001bd80985203a7e5960
Linux-ghc-9.8.4-6ee14625899365c6026c001bd80985203a7e5960
170 KB cached April 16, 2026 04:10
refs/pull/2981/merge
Last used April 16, 2026 05:40
refs/pull/2981/merge
Last used April 16, 2026 05:40
Linux-ghc-9.0.2-70df0c5529... 436e1c3d974e6cd3b63dd483c
Linux-ghc-9.0.2-70df0c55296d8a5436e1c3d974e6cd3b63dd483c
170 KB cached April 16, 2026 04:34
refs/pull/2980/merge
Last used April 16, 2026 05:31
refs/pull/2980/merge
Last used April 16, 2026 05:31
Linux-ghc-9.10.2-70df0c552... 436e1c3d974e6cd3b63dd483c
Linux-ghc-9.10.2-70df0c55296d8a5436e1c3d974e6cd3b63dd483c
170 KB cached April 16, 2026 04:24
refs/pull/2980/merge
Last used April 16, 2026 05:25
refs/pull/2980/merge
Last used April 16, 2026 05:25
Linux-ghc-9.4.8-70df0c5529... 436e1c3d974e6cd3b63dd483c
Linux-ghc-9.4.8-70df0c55296d8a5436e1c3d974e6cd3b63dd483c
160 KB cached April 16, 2026 04:31
refs/pull/2980/merge
Last used April 16, 2026 05:24
refs/pull/2980/merge
Last used April 16, 2026 05:24
Linux-ghc-9.8.4-70df0c5529... 436e1c3d974e6cd3b63dd483c
Linux-ghc-9.8.4-70df0c55296d8a5436e1c3d974e6cd3b63dd483c
170 KB cached April 16, 2026 04:36
refs/pull/2980/merge
Last used April 16, 2026 05:23
refs/pull/2980/merge
Last used April 16, 2026 05:23
Linux-ghc-8.10.7-2cb275d48... 87e10556a3d19dd9bedd81621
Linux-ghc-8.10.7-2cb275d488dbf9987e10556a3d19dd9bedd81621
160 KB cached April 16, 2026 04:10
refs/pull/2980/merge
Last used April 16, 2026 05:22
refs/pull/2980/merge
Last used April 16, 2026 05:22
Linux-ghc-9.12.2-70df0c552... 436e1c3d974e6cd3b63dd483c
Linux-ghc-9.12.2-70df0c55296d8a5436e1c3d974e6cd3b63dd483c
170 KB cached April 16, 2026 04:24
refs/pull/2980/merge
Last used April 16, 2026 05:20
refs/pull/2980/merge
Last used April 16, 2026 05:20
Linux-ghc-8.8.4-2cb275d488... 87e10556a3d19dd9bedd81621
Linux-ghc-8.8.4-2cb275d488dbf9987e10556a3d19dd9bedd81621
170 KB cached April 16, 2026 04:02
refs/pull/2980/merge
Last used April 16, 2026 05:19
refs/pull/2980/merge
Last used April 16, 2026 05:19
Linux-ghc-9.8.4-2cb275d488... 87e10556a3d19dd9bedd81621
Linux-ghc-9.8.4-2cb275d488dbf9987e10556a3d19dd9bedd81621
170 KB cached April 16, 2026 04:05
refs/pull/2980/merge
Last used April 16, 2026 04:36
refs/pull/2980/merge
Last used April 16, 2026 04:36
Linux-ghc-9.0.2-2cb275d488... 87e10556a3d19dd9bedd81621
Linux-ghc-9.0.2-2cb275d488dbf9987e10556a3d19dd9bedd81621
170 KB cached April 16, 2026 04:10
refs/pull/2980/merge
Last used April 16, 2026 04:34
refs/pull/2980/merge
Last used April 16, 2026 04:34
Linux-ghc-8.6.5-2cb275d488... 87e10556a3d19dd9bedd81621
Linux-ghc-8.6.5-2cb275d488dbf9987e10556a3d19dd9bedd81621
180 KB cached April 16, 2026 04:17
refs/pull/2980/merge
Last used April 16, 2026 04:33
refs/pull/2980/merge
Last used April 16, 2026 04:33
Linux-ghc-9.4.8-2cb275d488... 87e10556a3d19dd9bedd81621
Linux-ghc-9.4.8-2cb275d488dbf9987e10556a3d19dd9bedd81621
160 KB cached April 16, 2026 04:02
refs/pull/2980/merge
Last used April 16, 2026 04:30
refs/pull/2980/merge
Last used April 16, 2026 04:30
Linux-ghc-9.2.8-2cb275d488... 87e10556a3d19dd9bedd81621
Linux-ghc-9.2.8-2cb275d488dbf9987e10556a3d19dd9bedd81621
170 KB cached April 16, 2026 04:06
refs/pull/2980/merge
Last used April 16, 2026 04:25
refs/pull/2980/merge
Last used April 16, 2026 04:25
Linux-ghc-9.12.2-2cb275d48... 87e10556a3d19dd9bedd81621
Linux-ghc-9.12.2-2cb275d488dbf9987e10556a3d19dd9bedd81621
170 KB cached April 16, 2026 04:15
refs/pull/2980/merge
Last used April 16, 2026 04:24
refs/pull/2980/merge
Last used April 16, 2026 04:24
Linux-ghc-9.10.2-2cb275d48... 87e10556a3d19dd9bedd81621
Linux-ghc-9.10.2-2cb275d488dbf9987e10556a3d19dd9bedd81621
170 KB cached April 16, 2026 04:16
refs/pull/2980/merge
Last used April 16, 2026 04:24
refs/pull/2980/merge
Last used April 16, 2026 04:24
Linux-ghc-9.12.2-97a45b2a2... e08560f9fa9da48309fee9d64
Linux-ghc-9.12.2-97a45b2a26d8cf7e08560f9fa9da48309fee9d64
170 KB cached April 15, 2026 04:29
refs/pull/2952/merge
Last used April 15, 2026 04:29
refs/pull/2952/merge
Last used April 15, 2026 04:29
Linux-ghc-9.0.2-97a45b2a26... e08560f9fa9da48309fee9d64
Linux-ghc-9.0.2-97a45b2a26d8cf7e08560f9fa9da48309fee9d64
170 KB cached April 15, 2026 04:29
refs/pull/2952/merge
Last used April 15, 2026 04:29
refs/pull/2952/merge
Last used April 15, 2026 04:29