Skip to content

Actions: banacorn/agda-mode-vscode

Actions

Caches

Actions

Loading...
Loading

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

Filter by branch

Loading
Sort
Sort by
Recently used Least recently used Newest Oldest Largest size Smallest size
vscode-Windows-X64 vscode-Windows-X64 160 MB cached December 10, 2025 23:06 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
Agda-2.6.4-windows-latest Agda-2.6.4-windows-latest 224 Bytes cached December 10, 2025 22:49 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
vscode-macOS-ARM64 vscode-macOS-ARM64 140 MB cached December 10, 2025 23:09 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
npm-Windows-277f8bddd1e77a... e66f14512aad59683a37750b9 npm-Windows-277f8bddd1e77aa617be3e7aa23cbc226352352e66f14512aad59683a37750b9 58 MB cached December 10, 2025 23:06 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
Agda-2.6.4-macos-latest Agda-2.6.4-macos-latest 252 Bytes cached December 10, 2025 22:55 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
npm-macOS-bc7b719b78c2e0d3... 73de964583c789df9e8dd3cb0 npm-macOS-bc7b719b78c2e0d3e7cf02784f6533dfc368d3a73de964583c789df9e8dd3cb0 770 Bytes cached December 10, 2025 22:55 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
vscode-Linux-X64 vscode-Linux-X64 150 MB cached December 10, 2025 23:02 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
Agda-2.6.4-ubuntu-latest Agda-2.6.4-ubuntu-latest 240 Bytes cached December 10, 2025 22:48 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
npm-Linux-bc7b719b78c2e0d3... 73de964583c789df9e8dd3cb0 npm-Linux-bc7b719b78c2e0d3e7cf02784f6533dfc368d3a73de964583c789df9e8dd3cb0 61 MB cached December 10, 2025 23:02 master Last used February 1, 2026 01:46
master
Last used February 1, 2026 01:46
vscode-Windows-X64 vscode-Windows-X64 330 MB cached January 31, 2026 18:19 refs/pull/272/merge Last used January 31, 2026 18:19
refs/pull/272/merge
Last used January 31, 2026 18:19
vscode-macOS-ARM64 vscode-macOS-ARM64 290 MB cached January 31, 2026 18:19 refs/pull/272/merge Last used January 31, 2026 18:19
refs/pull/272/merge
Last used January 31, 2026 18:19
vscode-Linux-X64 vscode-Linux-X64 300 MB cached January 31, 2026 18:18 refs/pull/272/merge Last used January 31, 2026 18:18
refs/pull/272/merge
Last used January 31, 2026 18:18
Agda-2.7.0-macos-latest Agda-2.7.0-macos-latest 18 MB cached December 10, 2025 23:08 master Last used January 31, 2026 18:18
master
Last used January 31, 2026 18:18
Agda-2.8.0-windows-latest Agda-2.8.0-windows-latest 18 MB cached December 10, 2025 23:05 master Last used January 31, 2026 18:16
master
Last used January 31, 2026 18:16
Agda-2.7.0-windows-latest Agda-2.7.0-windows-latest 16 MB cached December 10, 2025 23:03 master Last used January 31, 2026 18:16
master
Last used January 31, 2026 18:16
Agda-2.6.4-windows-latest Agda-2.6.4-windows-latest 16 MB cached January 31, 2026 16:55 refs/pull/272/merge Last used January 31, 2026 18:16
refs/pull/272/merge
Last used January 31, 2026 18:16
Agda-2.8.0-ubuntu-latest Agda-2.8.0-ubuntu-latest 14 MB cached December 10, 2025 23:04 master Last used January 31, 2026 18:16
master
Last used January 31, 2026 18:16
Agda-2.8.0-macos-latest Agda-2.8.0-macos-latest 22 MB cached December 10, 2025 23:13 master Last used January 31, 2026 18:16
master
Last used January 31, 2026 18:16
Agda-2.6.4-macos-latest Agda-2.6.4-macos-latest 18 MB cached January 31, 2026 17:07 refs/pull/272/merge Last used January 31, 2026 18:16
refs/pull/272/merge
Last used January 31, 2026 18:16
Agda-2.6.4-ubuntu-latest Agda-2.6.4-ubuntu-latest 12 MB cached January 31, 2026 16:53 refs/pull/272/merge Last used January 31, 2026 18:16
refs/pull/272/merge
Last used January 31, 2026 18:16
Agda-2.7.0-ubuntu-latest Agda-2.7.0-ubuntu-latest 12 MB cached December 10, 2025 23:00 master Last used January 31, 2026 18:16
master
Last used January 31, 2026 18:16
Agda-2.6.4-macos-latest Agda-2.6.4-macos-latest 18 MB cached January 31, 2026 12:38 refs/pull/271/merge Last used January 31, 2026 12:38
refs/pull/271/merge
Last used January 31, 2026 12:38
Agda-2.6.4-windows-latest Agda-2.6.4-windows-latest 16 MB cached January 31, 2026 12:37 refs/pull/271/merge Last used January 31, 2026 12:37
refs/pull/271/merge
Last used January 31, 2026 12:37
Agda-2.6.4-ubuntu-latest Agda-2.6.4-ubuntu-latest 12 MB cached January 31, 2026 12:35 refs/pull/271/merge Last used January 31, 2026 12:35
refs/pull/271/merge
Last used January 31, 2026 12:35
vscode-Windows-X64 vscode-Windows-X64 330 MB cached January 31, 2026 12:21 refs/pull/271/merge Last used January 31, 2026 12:21
refs/pull/271/merge
Last used January 31, 2026 12:21