Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
484 workflow runs
484 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 #3283: Pull request #797 synchronize by Vtec234
4m 47s ionathanch:patch-1
ionathanch:patch-1
4m 47s
Missing superscripts and subscripts vscode-lean4 build #3282: Pull request #797 synchronize by Vtec234
Action required ionathanch:patch-1
ionathanch:patch-1
Action required
Missing superscripts and subscripts vscode-lean4 build #3281: Pull request #797 synchronize by Vtec234
Action required ionathanch:patch-1
ionathanch:patch-1
Action required
Release 0.0.240 vscode-lean4 build #3280: Commit 608100d pushed by mhuisi
6m 0s v0.0.240
v0.0.240
6m 0s
Release 0.0.240 vscode-lean4 build #3279: Commit 608100d pushed by mhuisi
6m 28s master
master
6m 28s
vscode-lean4 build vscode-lean4 build #3278: Manually run by mhuisi
14s master
master
14s
chore: disable format on save by default for lean files (#798) vscode-lean4 build #3277: Commit 4717483 pushed by mhuisi
6m 13s master
master
6m 13s
chore: disable format on save by default for lean files Backport #26: Pull request #798 closed by mhuisi
1s
1s
chore: disable format on save by default for lean files vscode-lean4 build #3276: Pull request #798 opened by mhuisi
5m 48s push-lkpvkxktysvu
push-lkpvkxktysvu
5m 48s
chore: disable format on save by default for lean files vscode-lean4 build #3275: Commit b255dbd pushed by mhuisi
5m 44s push-lkpvkxktysvu
push-lkpvkxktysvu
5m 44s
Missing superscripts and subscripts vscode-lean4 build #3274: Pull request #797 opened by ionathanch
30d 0h 1m 31s ionathanch:patch-1
ionathanch:patch-1
30d 0h 1m 31s
A "wait for lean compilation" language model tool vscode-lean4 build #3273: Pull request #795 opened by mik-jozef
30d 0h 1m 15s mik-jozef:jozef/wait-for-diag-tool
mik-jozef:jozef/wait-for-diag-tool
30d 0h 1m 15s
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