8000 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
586 workflow runs
586 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: [lean4web] abstract the implementation of infoview as a webview vscode-lean4 build #2698: Pull request #567 synchronize by joneugster
March 8, 2025 01:27 6m 2s hhu-adam:webview2
hhu-adam:webview2
March 8, 2025 01:27 6m 2s
feat: [lean4web] customizable project precondition checks vscode-lean4 build #2697: Pull request #497 synchronize by joneugster
March 8, 2025 01:24 5m 47s hhu-adam:preconditions
hhu-adam:preconditions
March 8, 2025 01:24 5m 47s
feat: [lean4web] add option to change selectionMoveMove vscode-lean4 build #2696: Pull request #508 synchronize by joneugster
March 8, 2025 01:23 6m 43s hhu-adam:selectionmovemode
hhu-adam:selectionmovemode
March 8, 2025 01:23 6m 43s
feat: [lean4web] export RpcSessionAtPos vscode-lean4 build #2695: Pull request #586 opened by joneugster
March 8, 2025 01:21 6m 32s hhu-adam:eugster/export_RpcSessionAtPos
hhu-adam:eugster/export_RpcSessionAtPos
March 8, 2025 01:21 6m 32s
Release 0.0.196 (pre-release) vscode-lean4 build #2694: Commit fd8ad21 pushed by mhuisi
March 7, 2025 14:49 6m 21s v0.0.196-pre
v0.0.196-pre
March 7, 2025 14:49 6m 21s
Release 0.0.196 (pre-release) vscode-lean4 build #2693: Commit fd8ad21 pushed by mhuisi
March 7, 2025 14:49 6m 24s master
master
March 7, 2025 14:49 6m 24s
feat: editor decorations (#585) vscode-lean4 build #2692: Commit 90eb615 pushed by mhuisi
March 7, 2025 14:48 6m 26s master
master
March 7, 2025 14:48 6m 26s
feat: editor decorations vscode-lean4 build #2691: Pull request #585 synchronize by mhuisi
March 7, 2025 14:32 13m 51s mhuisi/gutter-refinements
mhuisi/gutter-refinements
March 7, 2025 14:32 13m 51s
feat: editor decorations vscode-lean4 build #2690: Pull request #585 synchronize by mhuisi
March 7, 2025 12:26 6m 58s mhuisi/gutter-refinements
mhuisi/gutter-refinements
March 7, 2025 12:26 6m 58s
feat: editor decorations vscode-lean4 build #2689: Pull request #585 opened by mhuisi
March 6, 2025 16:57 7m 9s mhuisi/gutter-refinements
mhuisi/gutter-refinements
March 6, 2025 16:57 7m 9s
chore: bump unicode input versions again (#583) vscode-lean4 build #2688: Commit c4d12fc pushed by mhuisi
February 27, 2025 17:59 6m 25s master
master
February 27, 2025 17:59 6m 25s
chore: bump unicode input versions again vscode-lean4 build #2687: Pull request #583 opened by mhuisi
February 27, 2025 17:57 6m 8s mhuisi:mhuisi/bump-unicode-input-versions
mhuisi:mhuisi/bump-unicode-input-versions
February 27, 2025 17:57 6m 8s
Release 0.0.195 vscode-lean4 build #2686: Commit fa03bbc pushed by mhuisi
February 25, 2025 15:32 15m 3s v0.0.195
v0.0.195
February 25, 2025 15:32 15m 3s
Release 0.0.195 vscode-lean4 build #2685: Commit fa03bbc pushed by mhuisi
February 25, 2025 15:32 15m 10s master
master
February 25, 2025 15:32 15m 10s
chore: revert #571 (#582) vscode-lean4 build #2684: Commit 8e56484 pushed by mhuisi
February 25, 2025 15:27 7m 34s master
master
February 25, 2025 15:27 7m 34s
chore: revert #571 vscode-lean4 build #2683: Pull request #582 opened by mhuisi
February 25, 2025 15:22 6m 20s mhuisi/revert-571
mhuisi/revert-571
February 25, 2025 15:22 6m 20s
chore: bump unicode input versions vscode-lean4 build #2682: Pull request #581 opened by mhuisi
February 25, 2025 15:03 6m 54s mhuisi/bump-unicode-input-version
mhuisi/bump-unicode-input-version
February 25, 2025 15:03 6m 54s
chore: bump unicode input versions (#581) vscode-lean4 build #2681: Commit bc6ed51 pushed by mhuisi
February 25, 2025 15:02 6m 57s master
master
February 25, 2025 15:02 6m 57s
fix: only prevent default for tab if it replaces something (#572) vscode-lean4 build #2680: Commit cc0ae6f pushed by mhuisi
February 25, 2025 14:55 6m 38s master
master
February 25, 2025 14:55 6m 38s
chore: document white-space fix for firefox (#575) vscode-lean4 build #2679: Commit d1e89f3 pushed by mhuisi
February 25, 2025 14:50 6m 36s master
master
February 25, 2025 14:50 6m 36s
feat: simplex abbreviations (#579) vscode-lean4 build #2678: Commit 5f3dc55 pushed by mhuisi
February 25, 2025 14:46 6m 52s master
master
February 25, 2025 14:46 6m 52s
Release 0.0.194 vscode-lean4 build #2675: Commit f95786d pushed by mhuisi
January 30, 2025 15:22 6m 29s v0.0.194
v0.0.194
January 30, 2025 15:22 6m 29s
Release 0.0.194 vscode-lean4 build #2674: Commit f95786d pushed by mhuisi
January 30, 2025 15:22 6m 37s master
master
January 30, 2025 15:22 6m 37s
fix: do not suggest that installing elan also installs lean (#577) vscode-lean4 build #2673: Commit 9fbca4d pushed by mhuisi
January 30, 2025 15:16 5m 55s master
master
January 30, 2025 15:16 5m 55s
fix: do not suggest that installing elan also installs lean vscode-lean4 build #2672: Pull request #577 opened by mhuisi
January 30, 2025 15:16 6m 22s mhuisi/bad-elan-prompt-2
mhuisi/bad-elan-prompt-2
January 30, 2025 15:16 6m 22s
0