Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
728 workflow runs
728 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 0.0.189 (pre-release) vscode-lean4 build #2652: Commit dbd82c9 pushed by mhuisi
January 13, 2025 13:40 6m 36s v0.0.189-pre
v0.0.189-pre
January 13, 2025 13:40 6m 36s
Release 0.0.189 (pre-release) vscode-lean4 build #2651: Commit dbd82c9 pushed by mhuisi
January 13, 2025 13:40 6m 7s master
master
January 13, 2025 13:40 6m 7s
fix: escape language client document selector glob (#566) vscode-lean4 build #2650: Commit 4a70fcc pushed by mhuisi
January 13, 2025 13:21 6m 3s master
master
January 13, 2025 13:21 6m 3s
fix: escape language client document selector glob vscode-lean4 build #2649: Pull request #566 synchronize by mhuisi
January 13, 2025 13:13 6m 20s mhuisi/missing-glob-escape
mhuisi/missing-glob-escape
January 13, 2025 13:13 6m 20s
Release 0.0.188 (pre-release) vscode-lean4 build #2648: Commit a3c0d29 pushed by Vtec234
January 13, 2025 13:05 6m 23s v0.0.188-pre
v0.0.188-pre
January 13, 2025 13:05 6m 23s
Release 0.0.188 (pre-release) vscode-lean4 build #2647: Commit a3c0d29 pushed by Vtec234
January 13, 2025 13:05 6m 28s master
master
January 13, 2025 13:05 6m 28s
feat: add (un)select context menu options (#451) vscode-lean4 build #2646: Commit 0df0cb2 pushed by Vtec234
January 13, 2025 13:04 6m 32s master
master
January 13, 2025 13:04 6m 32s
feat: shift-click to unselect vscode-lean4 build #2645: Pull request #451 synchronize by Vtec234
January 13, 2025 12:58 6m 38s shift-unclick
shift-unclick
January 13, 2025 12:58 6m 38s
chore: update current-release vscode-lean4 build #2644: Commit 07e5f34 pushed by Vtec234
January 13, 2025 12:58 6m 43s shift-unclick
shift-unclick
January 13, 2025 12:58 6m 43s
feat: shift-click to unselect vscode-lean4 build #2643: Pull request #451 synchronize by Vtec234
January 13, 2025 12:44 3m 28s shift-unclick
shift-unclick
January 13, 2025 12:44 3m 28s
fix: hide tooltips on contextmenu vscode-lean4 build #2642: Commit 9bfb002 pushed by Vtec234
January 13, 2025 12:44 4m 11s shift-unclick
shift-unclick
January 13, 2025 12:44 4m 11s
feat: shift-click to unselect vscode-lean4 build #2641: Pull request #451 synchronize by Vtec234
January 13, 2025 12:30 3m 50s shift-unclick
shift-unclick
January 13, 2025 12:30 3m 50s
fix: remove auto-selection vscode-lean4 build #2640: Commit 8a9fe03 pushed by Vtec234
January 13, 2025 12:30 3m 54s shift-unclick
shift-unclick
January 13, 2025 12:30 3m 54s
feat: shift-click to unselect vscode-lean4 build #2639: Pull request #451 synchronize by Vtec234
January 13, 2025 11:46 3m 44s shift-unclick
shift-unclick
January 13, 2025 11:46 3m 44s
feat: address review vscode-lean4 build #2638: Commit 460df9f pushed by Vtec234
January 13, 2025 11:46 4m 0s shift-unclick
shift-unclick
January 13, 2025 11:46 4m 0s
feat: shift-click to unselect vscode-lean4 build #2637: Pull request #451 synchronize by Vtec234
January 12, 2025 16:52 3m 17s shift-unclick
shift-unclick
January 12, 2025 16:52 3m 17s
chore: bump infoview and infoview-api versions vscode-lean4 build #2636: Commit 9b6d25d pushed by Vtec234
January 12, 2025 16:52 3m 45s shift-unclick
shift-unclick
January 12, 2025 16:52 3m 45s
Release 0.0.188 (pre-release) vscode-lean4 build #2635: Commit 9991cf6 pushed by Vtec234
January 12, 2025 16:47 3m 18s v0.0.188-pre
v0.0.188-pre
January 12, 2025 16:47 3m 18s
feat: shift-click to unselect vscode-lean4 build #2634: Pull request #451 synchronize by Vtec234
January 12, 2025 16:46 3m 37s shift-unclick
shift-unclick
January 12, 2025 16:46 3m 37s
Release 0.0.188 (pre-release) vscode-lean4 build #2633: Commit 9991cf6 pushed by Vtec234
January 12, 2025 16:46 3m 25s shift-unclick
shift-unclick
January 12, 2025 16:46 3m 25s
feat: shift-click to unselect vscode-lean4 build #2632: Pull request #451 synchronize by Vtec234
January 12, 2025 16:39 3m 43s shift-unclick
shift-unclick
January 12, 2025 16:39 3m 43s
chore: bump infoview and infoview-api versions vscode-lean4 build #2631: Commit 9b6d25d pushed by Vtec234
January 12, 2025 16:39 3m 31s shift-unclick
shift-unclick
January 12, 2025 16:39 3m 31s
feat: shift-click to unselect vscode-lean4 build #2630: Pull request #451 synchronize by Vtec234
January 12, 2025 16:36 2m 44s shift-unclick
shift-unclick
January 12, 2025 16:36 2m 44s
chore: bump infoview and infoview-api versions vscode-lean4 build #2629: Commit 7bdeeda pushed by Vtec234
January 12, 2025 16:35 2m 43s shift-unclick
shift-unclick
January 12, 2025 16:35 2m 43s
feat: shift-click to unselect vscode-lean4 build #2628: Pull request #451 synchronize by Vtec234
January 12, 2025 16:32 2m 16s shift-unclick
shift-unclick
January 12, 2025 16:32 2m 16s