Skip to content

Actions: leanprover/vscode-lean4

Actions

vscode-lean4 build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
on-push.yml
695 workflow runs
695 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: revert #411 (#417) vscode-lean4 build #2105: Commit 0effa88 pushed by mhuisi
March 20, 2024 08:40 5m 57s master
master
March 20, 2024 08:40 5m 57s
fix: revert #411 vscode-lean4 build #2104: Pull request #417 opened by mhuisi
March 20, 2024 08:33 5m 48s mhuisi:mhuisi/revert-411
mhuisi:mhuisi/revert-411
March 20, 2024 08:33 5m 48s
fix: remove _foo_ as an auto-closing delimiter (#415) vscode-lean4 build #2103: Commit 366e100 pushed by mhuisi
March 20, 2024 08:24 6m 2s master
master
March 20, 2024 08:24 6m 2s
Remove _foo_ as an auto-closing delimiter vscode-lean4 build #2102: Pull request #415 opened by digama0
March 20, 2024 03:21 5m 53s digama0:patch-1
digama0:patch-1
March 20, 2024 03:21 5m 53s
feat: add "go to definition" entry to infoview context menu vscode-lean4 build #2101: Pull request #408 synchronize by mhuisi
March 19, 2024 16:44 5m 49s mhuisi:mhuisi/go-to-def-context-menu
mhuisi:mhuisi/go-to-def-context-menu
March 19, 2024 16:44 5m 49s
chore: update deps (#414) vscode-lean4 build #2100: Commit 9403044 pushed by mhuisi
March 19, 2024 16:31 6m 3s master
master
March 19, 2024 16:31 6m 3s
chore: update deps vscode-lean4 build #2099: Pull request #414 synchronize by mhuisi
March 19, 2024 16:24 6m 8s mhuisi:mhuisi/clean-up-deps
mhuisi:mhuisi/clean-up-deps
March 19, 2024 16:24 6m 8s
chore: update deps vscode-lean4 build #2098: Pull request #414 opened by mhuisi
March 19, 2024 11:17 4m 14s mhuisi:mhuisi/clean-up-deps
mhuisi:mhuisi/clean-up-deps
March 19, 2024 11:17 4m 14s
chore: migrate from lerna to npm workspaces (#413) vscode-lean4 build #2097: Commit b71e103 pushed by mhuisi
March 19, 2024 10:41 5m 24s master
master
March 19, 2024 10:41 5m 24s
chore: migrate from lerna to npm workspaces vscode-lean4 build #2096: Pull request #413 opened by mhuisi
March 19, 2024 10:29 5m 49s mhuisi:mhuisi/npm-workspaces-migration
mhuisi:mhuisi/npm-workspaces-migration
March 19, 2024 10:29 5m 49s
Release 0.0.134 vscode-lean4 build #2095: Commit 23e3fb8 pushed by mhuisi
March 19, 2024 09:27 5m 50s v0.0.134
v0.0.134
March 19, 2024 09:27 5m 50s
Release 0.0.134 vscode-lean4 build #2094: Commit 23e3fb8 pushed by mhuisi
March 19, 2024 09:27 5m 54s master
master
March 19, 2024 09:27 5m 54s
fix: broken create project command (#412) vscode-lean4 build #2093: Commit 793d153 pushed by mhuisi
March 19, 2024 09:26 6m 13s master
master
March 19, 2024 09:26 6m 13s
fix: broken create project command vscode-lean4 build #2092: Pull request #412 opened by mhuisi
March 19, 2024 09:26 7m 2s mhuisi:mhuisi/project-init-lake-check-bug
mhuisi:mhuisi/project-init-lake-check-bug
March 19, 2024 09:26 7m 2s
Release 0.0.133 vscode-lean4 build #2091: Commit 44dc11d pushed by mhuisi
March 18, 2024 12:13 7m 4s v0.0.133
v0.0.133
March 18, 2024 12:13 7m 4s
Release 0.0.133 vscode-lean4 build #2090: Commit 44dc11d pushed by mhuisi
March 18, 2024 12:13 6m 20s master
master
March 18, 2024 12:13 6m 20s
feat: notification on stale dependency diagnostic (#393) vscode-lean4 build #2089: Commit e321fde pushed by mhuisi
March 18, 2024 10:39 6m 13s master
master
March 18, 2024 10:39 6m 13s
vscode-lean4 build vscode-lean4 build #2088: by mhuisi
March 18, 2024 10:09 5m 33s v0.0.132
v0.0.132
March 18, 2024 10:09 5m 33s
Release 0.0.132 vscode-lean4 build #2087: Commit 02c0e60 pushed by mhuisi
March 18, 2024 10:09 6m 1s master
master
March 18, 2024 10:09 6m 1s
feat: auto-close unicode brackets (#411) vscode-lean4 build #2086: Commit e753e16 pushed by mhuisi
March 18, 2024 10:07 6m 10s master
master
March 18, 2024 10:07 6m 10s
feat: auto-close unicode brackets vscode-lean4 build #2085: Pull request #411 opened by mhuisi
March 18, 2024 10:04 6m 2s mhuisi:mhuisi/unicode-bracket-completion
mhuisi:mhuisi/unicode-bracket-completion
March 18, 2024 10:04 6m 2s
Release 0.0.131 vscode-lean4 build #2084: Commit b5c73f3 pushed by mhuisi
March 18, 2024 09:18 6m 2s v0.0.131
v0.0.131
March 18, 2024 09:18 6m 2s
Release 0.0.131 vscode-lean4 build #2083: Commit b5c73f3 pushed by mhuisi
March 18, 2024 09:18 6m 23s master
master
March 18, 2024 09:18 6m 23s
chore: revert auto-closing angle brackets (#410) vscode-lean4 build #2082: Commit 57c96e4 pushed by mhuisi
March 18, 2024 09:17 5m 38s master
master
March 18, 2024 09:17 5m 38s
chore: revert auto-closing angle brackets vscode-lean4 build #2081: Pull request #410 opened by mhuisi
March 18, 2024 09:17 7m 12s mhuisi:mhuisi/revert-angle-bracket-completion
mhuisi:mhuisi/revert-angle-bracket-completion
March 18, 2024 09:17 7m 12s
ProTip! You can narrow down the results and go further in time using created:<2024-03-18 or the other filters available.