Skip to content

Actions: hhu-adam/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
lean4monaco modifications vscode-lean4 build #60: Commit 25ed203 pushed by joneugster
2m 11s monaco
monaco
2m 11s
lean4monaco modifications vscode-lean4 build #59: Commit 81d9e2f pushed by joneugster
1m 59s monaco
monaco
1m 59s
TMP: what are we doing here?? Backport #1: Pull request #5 closed by joneugster
1s
1s
lean4monaco modifications vscode-lean4 build #58: Commit 7d199a1 pushed by joneugster
2m 41s monaco
monaco
2m 41s
windows will be fine vscode-lean4 build #57: Commit ce4e3d4 pushed by joneugster
2m 41s monaco
monaco
2m 41s
fix vscode-lean4 build #56: Commit 01d46f6 pushed by joneugster
2m 36s monaco
monaco
2m 36s
modifications vscode-lean4 build #55: Commit e32ac37 pushed by joneugster
2m 35s monaco
monaco
2m 35s
. vscode-lean4 build #54: Commit 85406b0 pushed by joneugster
2m 48s update-2026-05-26
update-2026-05-26
2m 48s
Release 0.0.236 vscode-lean4 build #53: Commit bbe3ff1 pushed by joneugster
6m 13s master
master
6m 13s
reapply some old hack vscode-lean4 build #52: Commit 3269f30 pushed by joneugster
42s alexs-mess
alexs-mess
42s
fix error vscode-lean4 build #51: Commit c15d1c9 pushed by joneugster
45s alexs-mess
alexs-mess
45s
fix: successive abbreviations in loogleview (#718) vscode-lean4 build #50: Commit 776c4f0 pushed by joneugster
9m 19s master
master
9m 19s
fix: export vscode-lean4 build #49: Commit 4a32a5c pushed by joneugster
6s monaco
monaco
6s
Release 0.0.221 vscode-lean4 build #48: Commit c15861c pushed by joneugster
52s master
master
52s