Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
517 workflow runs
517 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Missing superscripts and subscripts vscode-lean4 build #3274: Pull request #797 opened by ionathanch
Action required ionathanch:patch-1
ionathanch:patch-1
Action required
A "wait for lean compilation" language model tool vscode-lean4 build #3273: Pull request #795 opened by mik-jozef
Action required mik-jozef:jozef/wait-for-diag-tool
mik-jozef:jozef/wait-for-diag-tool
Action required
Release 0.0.239 vscode-lean4 build #3272: Commit 5a25e6a pushed by mhuisi
5m 59s v0.0.239
v0.0.239
5m 59s
Release 0.0.239 vscode-lean4 build #3271: Commit 5a25e6a pushed by mhuisi
6m 11s master
master
6m 11s
vscode-lean4 build vscode-lean4 build #3270: Manually run by mhuisi
17s master
master
17s
chore: bump @leanprover/unicode-input to 0.1.12 (#794) vscode-lean4 build #3269: Commit 6f6bdb2 pushed by mhuisi
5m 59s master
master
5m 59s
chore: bump @leanprover/unicode-input to 0.1.12 Backport #25: Pull request #794 closed by mhuisi
1s
1s
Bump package version Bump package version #9: Manually run by mhuisi
28s master
master
28s
fix: build project after "Download Project" Backport #24: Pull request #791 closed by mhuisi
1s
1s
fix: build project after "Download Project" (#791) vscode-lean4 build #3267: Commit 17c468c pushed by mhuisi
4m 52s master
master
4m 52s
chore: revert "add dev console logging (#784)" (#793) vscode-lean4 build #3266: Commit d08e333 pushed by mhuisi
5m 16s master
master
5m 16s
chore: revert "add dev console logging (#784)" Backport #23: Pull request #793 closed by mhuisi
1s
1s
feat: add type colon abbreviations Backport #22: Pull request #792 closed by mhuisi
1s
1s
feat: add type colon abbreviations (#792) vscode-lean4 build #3265: Commit 00a05fe pushed by mhuisi
5m 23s master
master
5m 23s
feat: deeply compare diagnostics and simplify build orchestration Backport #21: Pull request #786 closed by mhuisi
1s
1s
feat: deeply compare diagnostics and simplify build orchestration (#786) vscode-lean4 build #3264: Commit 9678072 pushed by mhuisi
5m 13s master
master
5m 13s
chore: revert "add dev console logging (#784)" vscode-lean4 build #3263: Pull request #793 opened by mhuisi
6m 6s mhuisi:push-vpmvryrymnuy
mhuisi:push-vpmvryrymnuy
6m 6s
feat: add type colon abbreviations vscode-lean4 build #3262: Pull request #792 opened by tydeu
6m 53s tydeu:typecolon
tydeu:typecolon
6m 53s
fix: build project after "Download Project" vscode-lean4 build #3260: Pull request #791 opened by mhuisi
5m 38s mhuisi:push-kywwqmqluutx
mhuisi:push-kywwqmqluutx
5m 38s
feat: deeply compare diagnostics and simplify build orchestration vscode-lean4 build #3257: Pull request #786 opened by Vtec234
6m 30s diag-deps
diag-deps
6m 30s
feat: deep compare of diags vscode-lean4 build #3256: Commit ff526b4 pushed by Vtec234
5m 26s diag-deps
diag-deps
5m 26s
chore: hide "show imports" and "show imported by" commands in command… vscode-lean4 build #3255: Commit 17d1d08 pushed by mhuisi
5m 55s master
master
5m 55s
chore: hide "show imports" and "show imported by" commands in command palette Backport #20: Pull request #781 closed by mhuisi
1s
1s
feat: improve error messages when deps that should be shipped by default are not present Backport #19: Pull request #780 closed by mhuisi
8s
8s
feat: improve error messages when deps that should be shipped by defa… vscode-lean4 build #3254: Commit f51fd49 pushed by mhuisi
5m 56s master
master
5m 56s