Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
691 workflow runs
691 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 0.0.113 vscode-lean4 build #1913: Commit c93f2cf pushed by mhuisi
October 17, 2023 14:15 8m 58s v0.0.113
v0.0.113
October 17, 2023 14:15 8m 58s
Release 0.0.113 vscode-lean4 build #1912: Commit c93f2cf pushed by mhuisi
October 17, 2023 14:15 9m 8s master
master
October 17, 2023 14:15 9m 8s
feat: notification for imports-out-of-date error vscode-lean4 build #1911: Commit 5f461eb pushed by mhuisi
October 17, 2023 14:09 9m 3s master
master
October 17, 2023 14:09 9m 3s
Notification for imports-out-of-date error vscode-lean4 build #1910: Pull request #335 opened by mhuisi
October 17, 2023 08:58 7m 39s mhuisi:mhuisi/no-auto-build-popup
mhuisi:mhuisi/no-auto-build-popup
October 17, 2023 08:58 7m 39s
Add project commands, command menu and walkthrough vscode-lean4 build #1909: Pull request #334 opened by mhuisi
October 13, 2023 15:04 2m 37s mhuisi:mhuisi/tasks
mhuisi:mhuisi/tasks
October 13, 2023 15:04 2m 37s
Release 0.0.112 vscode-lean4 build #1908: Commit 24c7ccd pushed by mhuisi
October 13, 2023 12:12 9m 23s v0.0.112
v0.0.112
October 13, 2023 12:12 9m 23s
Release 0.0.112 vscode-lean4 build #1907: Commit 24c7ccd pushed by mhuisi
October 13, 2023 12:12 7m 41s master
master
October 13, 2023 12:12 7m 41s
chore: better config message vscode-lean4 build #1906: Commit 6385f19 pushed by mhuisi
October 13, 2023 12:09 9m 15s master
master
October 13, 2023 12:09 9m 15s
Add opt-in dependency builds when opening files vscode-lean4 build #1905: Pull request #333 synchronize by mhuisi
October 13, 2023 12:08 9m 43s mhuisi:mhuisi/no-build
mhuisi:mhuisi/no-build
October 13, 2023 12:08 9m 43s
Add opt-in dependency builds when opening files vscode-lean4 build #1904: Pull request #333 synchronize by mhuisi
October 13, 2023 11:59 8m 32s mhuisi:mhuisi/no-build
mhuisi:mhuisi/no-build
October 13, 2023 11:59 8m 32s
Add opt-in dependency builds when opening files vscode-lean4 build #1903: Pull request #333 synchronize by mhuisi
October 12, 2023 15:59 7m 31s mhuisi:mhuisi/no-build
mhuisi:mhuisi/no-build
October 12, 2023 15:59 7m 31s
Add opt-in dependency builds when opening files vscode-lean4 build #1902: Pull request #333 opened by mhuisi
October 12, 2023 13:37 8m 10s mhuisi:mhuisi/no-build
mhuisi:mhuisi/no-build
October 12, 2023 13:37 8m 10s
Update Documentation View vscode-lean4 build #1887: Commit bb97358 pushed by mhuisi
September 25, 2023 12:46 10m 59s master
master
September 25, 2023 12:46 10m 59s
chore: issue templates similar to lean4 repo vscode-lean4 build #1881: Commit fd9ef33 pushed by mhuisi
September 15, 2023 14:32 8m 20s master
master
September 15, 2023 14:32 8m 20s
Introduce issue templates vscode-lean4 build #1880: Pull request #324 opened by mhuisi
September 15, 2023 14:32 7m 1s mhuisi:mhuisi/issue-templates
mhuisi:mhuisi/issue-templates
September 15, 2023 14:32 7m 1s
Release 0.0.111 vscode-lean4 build #1879: Commit ec47349 pushed by mhuisi
September 8, 2023 13:02 9m 38s v0.0.111
v0.0.111
September 8, 2023 13:02 9m 38s
Release 0.0.111 vscode-lean4 build #1878: Commit ec47349 pushed by mhuisi
September 8, 2023 13:02 8m 8s master
master
September 8, 2023 13:02 8m 8s
chore: adjust for actual release vscode-lean4 build #1877: Commit 414f67c pushed by mhuisi
September 8, 2023 12:33 10m 4s master
master
September 8, 2023 12:33 10m 4s
Use stable release for bootstrapping vscode-lean4 build #1876: Pull request #321 synchronize by mhuisi
September 8, 2023 12:12 7m 36s mhuisi:mhuisi/stable-release
mhuisi:mhuisi/stable-release
September 8, 2023 12:12 7m 36s
Add angle brackets to wordPattern vscode-lean4 build #1875: Commit a8659be pushed by mhuisi
September 7, 2023 11:18 9m 26s master
master
September 7, 2023 11:18 9m 26s
Update README.md vscode-lean4 build #1874: Commit 601abed pushed by mhuisi
September 7, 2023 09:19 8m 33s master
master
September 7, 2023 09:19 8m 33s
Use stable release for bootstrapping vscode-lean4 build #1873: Pull request #321 opened by mhuisi
September 6, 2023 14:19 6m 14s mhuisi:mhuisi/stable-release
mhuisi:mhuisi/stable-release
September 6, 2023 14:19 6m 14s
Add angle brackets to wordPattern regexp vscode-lean4 build #1871: Pull request #315 opened by DenisGorbachev
August 15, 2023 13:58 9m 56s DenisGorbachev:master-3
DenisGorbachev:master-3
August 15, 2023 13:58 9m 56s
Release 0.0.110 vscode-lean4 build #1869: Commit 6ef0bfa pushed by Vtec234
August 9, 2023 19:20 9m 21s v0.0.110
v0.0.110
August 9, 2023 19:20 9m 21s
Release 0.0.110 vscode-lean4 build #1868: Commit 6ef0bfa pushed by Vtec234
August 9, 2023 19:20 7m 14s master
master
August 9, 2023 19:20 7m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-08-09 or the other filters available.