Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 0.0.226 vscode-lean4 build #3098: Commit 9370a4f pushed by mhuisi
6m 39s v0.0.226
v0.0.226
6m 39s
Release 0.0.226 vscode-lean4 build #3097: Commit 9370a4f pushed by mhuisi
7m 24s master
master
7m 24s
vscode-lean4 build vscode-lean4 build #3096: Manually run by mhuisi
13s master
master
13s
chore: revert "Release 0.0.226" (#741) vscode-lean4 build #3095: Commit 422b82f pushed by mhuisi
6m 57s master
master
6m 57s
chore: revert "Release 0.0.226" vscode-lean4 build #3094: Pull request #741 opened by mhuisi
6m 8s mhuisi:push-lzlrtzwkpnsn
mhuisi:push-lzlrtzwkpnsn
6m 8s
vscode-lean4 build vscode-lean4 build #3093: Manually run by mhuisi
13s master
master
13s
chore: ensure that on-push release job runs (#740) vscode-lean4 build #3092: Commit ffb4f8d pushed by mhuisi
7m 20s master
master
7m 20s
chore: ensure that on-push release job runs vscode-lean4 build #3091: Pull request #740 opened by mhuisi
6m 50s mhuisi:push-vrrnwpytrxsy
mhuisi:push-vrrnwpytrxsy
6m 50s
vscode-lean4 build vscode-lean4 build #3090: Manually run by mhuisi
11s master
master
11s
fix: guard against lean language id (#738) vscode-lean4 build #3089: Commit 88753d0 pushed by mhuisi
6m 14s master
master
6m 14s
feat: relative paths in envPathExtensions setting (#739) vscode-lean4 build #3088: Commit 9e9ab08 pushed by mhuisi
6m 51s master
master
6m 51s
feat: relative paths in envPathExtensions setting vscode-lean4 build #3087: Pull request #739 opened by mhuisi
6m 34s mhuisi:push-pptvwzyovlqn
mhuisi:push-pptvwzyovlqn
6m 34s
fix: lengthen RPC reference field name (#719) vscode-lean4 build #3086: Commit 132d329 pushed by Vtec234
6m 44s master
master
6m 44s
fix: lengthen RPC reference field name vscode-lean4 build #3085: Pull request #719 synchronize by Vtec234
6m 50s Vtec234:p
Vtec234:p
6m 50s
fix: lengthen RPC reference field name vscode-lean4 build #3084: Pull request #719 synchronize by Vtec234
3m 6s Vtec234:p
Vtec234:p
3m 6s
fix: lengthen RPC reference field name vscode-lean4 build #3083: Pull request #719 synchronize by Vtec234
2m 48s Vtec234:p
Vtec234:p
2m 48s
fix: lengthen RPC reference field name vscode-lean4 build #3082: Pull request #719 synchronize by Vtec234
2m 45s Vtec234:p
Vtec234:p
2m 45s
fix: lengthen RPC reference field name vscode-lean4 build #3081: Pull request #719 synchronize by Vtec234
3m 25s Vtec234:p
Vtec234:p
3m 25s
fix: guard against lean language id vscode-lean4 build #3080: Pull request #738 synchronize by mhuisi
7m 13s mhuisi:push-opsqytlkuktl
mhuisi:push-opsqytlkuktl
7m 13s
chore: ensure Rollup reacts to changes in lean4-infoview-api (#737) vscode-lean4 build #3079: Commit 9a7ed4a pushed by Vtec234
5m 51s master
master
5m 51s
fix: guard against lean language id vscode-lean4 build #3078: Pull request #738 opened by mhuisi
6m 42s mhuisi:push-opsqytlkuktl
mhuisi:push-opsqytlkuktl
6m 42s
chore: ensure Rollup reacts to changes in lean4-infoview-api vscode-lean4 build #3077: Pull request #737 synchronize by Vtec234
6m 18s Vtec234:rollup-watch
Vtec234:rollup-watch
6m 18s
chore: ensure Rollup reacts to changes in lean4-infoview-api vscode-lean4 build #3076: Pull request #737 opened by Vtec234
6m 17s Vtec234:rollup-watch
Vtec234:rollup-watch
6m 17s
vscode-lean4 build vscode-lean4 build #3075: Manually run by mhuisi
1m 33s master
master
1m 33s
chore: bump @leanprover/unicode-input-component to 0.2.0 (#736) vscode-lean4 build #3074: Commit a9abc9e pushed by mhuisi
6m 7s master
master
6m 7s