Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
450 workflow runs
450 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo in setting name, and add settings.json ID for clarity vscode-lean4 build #3142: Pull request #754 opened by samuela
Action required samuela:patch-1
samuela:patch-1
Action required
Release 0.0.231 (pre-release) vscode-lean4 build #3141: Commit 967343b pushed by mhuisi
6m 42s v0.0.231-pre
v0.0.231-pre
6m 42s
Release 0.0.231 (pre-release) vscode-lean4 build #3140: Commit 967343b pushed by mhuisi
6m 40s master
master
6m 40s
vscode-lean4 build vscode-lean4 build #3139: Manually run by mhuisi
10s master
master
10s
fix: swap light and dark Lean language file icons (#753) vscode-lean4 build #3138: Commit 0d07ab5 pushed by mhuisi
6m 13s master
master
6m 13s
fix: swap light and dark Lean language file icons vscode-lean4 build #3137: Pull request #753 opened by mhuisi
6m 13s mhuisi:fix-swap-lean-icons
mhuisi:fix-swap-lean-icons
6m 13s
feat: client-side support for incremental diagnostics vscode-lean4 build #3136: Pull request #752 opened by mhuisi
6m 16s mhuisi:push-lknxxwnmvuto
mhuisi:push-lknxxwnmvuto
6m 16s
Release 0.0.230 (pre-release) vscode-lean4 build #3135: Commit 77b2e83 pushed by mhuisi
6m 44s v0.0.230-pre
v0.0.230-pre
6m 44s
Release 0.0.230 (pre-release) vscode-lean4 build #3134: Commit 77b2e83 pushed by mhuisi
6m 38s master
master
6m 38s
vscode-lean4 build vscode-lean4 build #3133: Manually run by mhuisi
11s master
master
11s
doc: update manual (#751) vscode-lean4 build #3132: Commit 66b82b5 pushed by mhuisi
7m 3s master
master
7m 3s
doc: update manual vscode-lean4 build #3131: Pull request #751 opened by mhuisi
6m 12s mhuisi:push-wutynuruuxpy
mhuisi:push-wutynuruuxpy
6m 12s
perf: cancel redundant interactive requests (#746) vscode-lean4 build #3130: Commit 46dfdd2 pushed by Vtec234
7m 1s master
master
7m 1s
fix: always use last active lean editor as active client (#750) vscode-lean4 build #3129: Commit 39b9340 pushed by mhuisi
5m 46s master
master
5m 46s
fix: don't resolve deps as part of lake exe cache query step (#748) vscode-lean4 build #3128: Commit 6f89d35 pushed by mhuisi
6m 52s master
master
6m 52s
feat: add file icons for .lean files (#749) vscode-lean4 build #3127: Commit df5cd40 pushed by mhuisi
6m 31s master
master
6m 31s
Release 0.0.229 vscode-lean4 build #3126: Commit 26448b7 pushed by mhuisi
6m 14s v0.0.229
v0.0.229
6m 14s
Release 0.0.229 vscode-lean4 build #3125: Commit 26448b7 pushed by mhuisi
6m 43s master
master
6m 43s
vscode-lean4 build vscode-lean4 build #3124: Manually run by mhuisi
11s master
master
11s
fix: always use last active lean editor as active client vscode-lean4 build #3123: Pull request #750 opened by mhuisi
6m 48s mhuisi:push-lkkxzuvmzsty
mhuisi:push-lkkxzuvmzsty
6m 48s
feat: add file icons for .lean files vscode-lean4 build #3122: Pull request #749 opened by mhuisi
6m 18s mhuisi:lean-file-icons
mhuisi:lean-file-icons
6m 18s
perf: cancel redundant interactive requests vscode-lean4 build #3121: Pull request #746 synchronize by Vtec234
6m 16s Vtec234:cancel-goal
Vtec234:cancel-goal
6m 16s
perf: cancel redundant interactive requests vscode-lean4 build #3120: Pull request #746 synchronize by Vtec234
7m 19s Vtec234:cancel-goal
Vtec234:cancel-goal
7m 19s
fix: don't resolve deps as part of lake exe cache query step vscode-lean4 build #3119: Pull request #748 opened by mhuisi
6m 41s mhuisi:push-kpmsylxrxksm
mhuisi:push-kpmsylxrxksm
6m 41s
chore: include all commits in release notes (#747) vscode-lean4 build #3118: Commit 9e3010b pushed by mhuisi
6m 16s master
master
6m 16s