10000 Workflow runs · leanprover/vscode-lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
595 workflow runs
595 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 0.0.205 vscode-lean4 build #2774: Commit 5a938ad pushed by mhuisi
April 30, 2025 15:58 7m 15s v0.0.205
v0.0.205
April 30, 2025 15:58 7m 15s
Release 0.0.205 vscode-lean4 build #2773: Commit 5a938ad pushed by mhuisi
April 30, 2025 15:58 6m 38s master
master
April 30, 2025 15:58 6m 38s
fix: don't display popups during mouse selection (#615) vscode-lean4 build #2772: Commit aca0e14 pushed by mhuisi
April 30, 2025 15:55 6m 59s master
master
April 30, 2025 15:55 6m 59s
fix: don't display popups during mouse selection vscode-lean4 build #2771: Pull request #615 opened by mhuisi
April 29, 2025 08:56 6m 43s mhuisi:mhuisi/mouse-selection-popups
mhuisi:mhuisi/mouse-selection-popups
April 29, 2025 08:56 6m 43s
Release 0.0.204 vscode-lean4 build #2770: Commit 44bf3e6 pushed by mhuisi
April 23, 2025 14:43 6m 52s v0.0.204
v0.0.204
April 23, 2025 14:43 6m 52s
Release 0.0.204 vscode-lean4 build #2769: Commit 44bf3e6 pushed by mhuisi
April 23, 2025 14:43 6m 43s master
master
April 23, 2025 14:43 6m 43s
feat: revamp infoview options and actions (#606) vscode-lean4 build #2768: Commit 8e34c2e pushed by mhuisi
April 23, 2025 14:12 6m 52s master
master
April 23, 2025 14:12 6m 52s
feat: improve activation error when forked extension is installed (#613) vscode-lean4 build #2767: Commit d310b9c pushed by mhuisi
April 23, 2025 10:22 6m 46s master
master
April 23, 2025 10:22 6m 46s
feat: improve activation error when forked extension is installed vscode-lean4 build #2766: Pull request #613 opened by mhuisi
April 23, 2025 10:13 6m 39s mhuisi:mhuisi/duplicate-command-error
mhuisi:mhuisi/duplicate-command-error
April 23, 2025 10:13 6m 39s
feat: sorted installed toolchains (#611) vscode-lean4 build #2765: Commit 0d094aa pushed by mhuisi
April 18, 2025 12:02 6m 1s master
master
April 18, 2025 12:02 6m 1s
feat: sorted installed toolchains vscode-lean4 build #2764: Pull request #611 opened by mhuisi
April 18, 2025 11:57 6m 43s mhuisi:mhuisi/minor-command-improvements
mhuisi:mhuisi/minor-command-improvements
April 18, 2025 11:57 6m 43s
Release 0.0.203 vscode-lean4 build #2763: Commit ba0d7e4 pushed by mhuisi
April 17, 2025 12:35 6m 26s v0.0.203
v0.0.203
April 17, 2025 12:35 6m 26s
Release 0.0.203 vscode-lean4 build #2762: Commit ba0d7e4 pushed by mhuisi
April 17, 2025 12:35 6m 30s master
master
April 17, 2025 12:35 6m 30s
feat: error when opening project that contains lakefile but no lean-t… vscode-lean4 build #2761: Commit 9cf599c pushed by mhuisi
April 17, 2025 12:28 7m 8s master
master
April 17, 2025 12:28 7m 8s
feat: make lean files in .lake and .elan read-only (#608) vscode-lean4 build #2760: Commit 17ffa26 pushed by mhuisi
April 17, 2025 12:27 7m 8s master
master
April 17, 2025 12:27 7m 8s
feat: error when opening project that contains lakefile but no lean-toolchain vscode-lean4 build #2759: Pull request #610 opened by mhuisi
April 17, 2025 12:22 6m 54s mhuisi/missing-lean-toolchain
mhuisi/missing-lean-toolchain
April 17, 2025 12:22 6m 54s
feat: make lean files in .lake and .elan read-only vscode-lean4 build #2758: Pull request #608 opened by mhuisi
April 16, 2025 12:26 6m 47s mhuisi:mhuisi/read-only
mhuisi:mhuisi/read-only
April 16, 2025 12:26 6m 47s
Release 0.0.202 vscode-lean4 build #2757: Commit 6504d3c pushed by mhuisi
April 15, 2025 08:11 6m 41s v0.0.202
v0.0.202
April 15, 2025 08:11 6m 41s
Release 0.0.202 vscode-lean4 build #2756: Commit 6504d3c pushed by mhuisi
April 15, 2025 08:11 7m 27s master
master
April 15, 2025 08:11 7m 27s
feat: errors for nested projects (#607) vscode-lean4 build #2755: Commit c1d143d pushed by mhuisi
April 15, 2025 08:09 6m 4s master
master
April 15, 2025 08:09 6m 4s
feat: errors for nested projects vscode-lean4 build #2754: Pull request #607 synchronize by mhuisi
April 15, 2025 07:55 6m 30s mhuisi/nested-project-errors
mhuisi/nested-project-errors
April 15, 2025 07:55 6m 30s
feat: errors for nested projects vscode-lean4 build #2753: Pull request #607 opened by mhuisi
April 14, 2025 17:14 6m 56s mhuisi/nested-project-errors
mhuisi/nested-project-errors
April 14, 2025 17:14 6m 56s
feat: revamp infoview options and actions vscode-lean4 build #2752: Pull request #606 synchronize by mhuisi
April 14, 2025 08:31 6m 10s mhuisi/infoview-ux
mhuisi/infoview-ux
April 14, 2025 08:31 6m 10s
feat: revamp infoview options and actions vscode-lean4 build #2751: Pull request #606 synchronize by mhuisi
April 14, 2025 08:19 6m 46s mhuisi/infoview-ux
mhuisi/infoview-ux
April 14, 2025 08:19 6m 46s
feat: revamp infoview options and actions vscode-lean4 build #2750: Pull request #606 synchronize by mhuisi
April 11, 2025 17:01 6m 50s mhuisi/infoview-ux
mhuisi/infoview-ux
April 11, 2025 17:01 6m 50s
0