Skip to content

Actions: leanprover/vscode-lean4

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
478 workflow runs
478 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Widget messages (#449) vscode-lean4 build #2318: Commit 5a56e3a pushed by Vtec234
June 3, 2024 21:23 6m 16s master
master
June 3, 2024 21:23 6m 16s
Widget messages vscode-lean4 build #2317: Pull request #449 synchronize by Vtec234
June 3, 2024 21:17 5m 52s widget-messages
widget-messages
June 3, 2024 21:17 5m 52s
fix: glob vscode-lean4 build #2316: Commit 17e0a60 pushed by Vtec234
June 3, 2024 21:17 5m 48s widget-messages
widget-messages
June 3, 2024 21:17 5m 48s
Widget messages vscode-lean4 build #2315: Pull request #449 synchronize by Vtec234
June 3, 2024 21:06 3m 15s widget-messages
widget-messages
June 3, 2024 21:06 3m 15s
chore: nx update vscode-lean4 build #2314: Commit af2a298 pushed by Vtec234
June 3, 2024 21:06 3m 52s widget-messages
widget-messages
June 3, 2024 21:06 3m 52s
Widget messages vscode-lean4 build #2313: Pull request #449 synchronize by Vtec234
June 3, 2024 21:03 3m 59s widget-messages
widget-messages
June 3, 2024 21:03 3m 59s
feat: PosContext -> EnvPosContext vscode-lean4 build #2312: Commit de63068 pushed by Vtec234
June 3, 2024 21:03 7m 5s widget-messages
widget-messages
June 3, 2024 21:03 7m 5s
feat: skip infoview breaking test on major version bump vscode-lean4 build #2311: Pull request #459 opened by joneugster
June 3, 2024 09:38 5m 43s joneugster:skip_breaking
joneugster:skip_breaking
June 3, 2024 09:38 5m 43s
feat: auto-publish infoview vscode-lean4 build #2310: Pull request #458 synchronize by joneugster
June 3, 2024 09:37 5m 46s joneugster:publish-test
joneugster:publish-test
June 3, 2024 09:37 5m 46s
feat: auto-publish infoview vscode-lean4 build #2309: Pull request #458 synchronize by joneugster
June 3, 2024 09:35 2m 34s joneugster:publish-test
joneugster:publish-test
June 3, 2024 09:35 2m 34s
feat: auto-publish infoview vscode-lean4 build #2308: Pull request #458 synchronize by joneugster
May 31, 2024 10:27 6m 31s joneugster:publish-test
joneugster:publish-test
May 31, 2024 10:27 6m 31s
feat: auto-publish infoview vscode-lean4 build #2307: Pull request #458 synchronize by joneugster
May 31, 2024 10:21 3m 40s joneugster:publish-test
joneugster:publish-test
May 31, 2024 10:21 3m 40s
feat: auto-publish infoview vscode-lean4 build #2306: Pull request #458 synchronize by joneugster
May 31, 2024 10:20 4m 8s joneugster:publish-test
joneugster:publish-test
May 31, 2024 10:20 4m 8s
feat: auto-publish infoview vscode-lean4 build #2305: Pull request #458 synchronize by joneugster
May 29, 2024 12:42 5m 46s joneugster:publish-test
joneugster:publish-test
May 29, 2024 12:42 5m 46s
feat: auto-publish infoview vscode-lean4 build #2304: Pull request #458 synchronize by joneugster
May 29, 2024 10:23 5m 33s joneugster:publish-test
joneugster:publish-test
May 29, 2024 10:23 5m 33s
feat: auto-publish infoview vscode-lean4 build #2303: Pull request #458 synchronize by joneugster
May 29, 2024 10:16 5m 55s joneugster:publish-test
joneugster:publish-test
May 29, 2024 10:16 5m 55s
feat: auto-publish infoview vscode-lean4 build #2302: Pull request #458 synchronize by joneugster
May 29, 2024 10:00 5m 55s joneugster:publish-test
joneugster:publish-test
May 29, 2024 10:00 5m 55s
feat: auto-publish infoview vscode-lean4 build #2301: Pull request #458 synchronize by joneugster
May 29, 2024 09:58 6m 7s joneugster:publish-test
joneugster:publish-test
May 29, 2024 09:58 6m 7s
feat: auto-publish infoview vscode-lean4 build #2300: Pull request #458 synchronize by joneugster
May 29, 2024 09:54 5m 52s joneugster:publish-test
joneugster:publish-test
May 29, 2024 09:54 5m 52s
feat: auto-publish infoview vscode-lean4 build #2299: Pull request #458 synchronize by joneugster
May 29, 2024 09:40 1s joneugster:publish-test
joneugster:publish-test
May 29, 2024 09:40 1s
feat: auto-publish infoview vscode-lean4 build #2298: Pull request #458 synchronize by joneugster
May 29, 2024 09:13 5m 39s joneugster:publish-test
joneugster:publish-test
May 29, 2024 09:13 5m 39s
feat: auto-publish infoview vscode-lean4 build #2297: Pull request #458 synchronize by joneugster
May 29, 2024 09:12 7m 1s joneugster:publish-test
joneugster:publish-test
May 29, 2024 09:12 7m 1s
doc: deprecation vscode-lean4 build #2296: Commit c553cfd pushed by Vtec234
May 28, 2024 03:36 3m 44s widget-messages
widget-messages
May 28, 2024 03:36 3m 44s
feat: misc changes from review vscode-lean4 build #2295: Commit 3718de8 pushed by Vtec234
May 28, 2024 03:31 5m 37s widget-messages
widget-messages
May 28, 2024 03:31 5m 37s
feat: auto-publish infoview vscode-lean4 build #2294: Pull request #458 opened by joneugster
May 27, 2024 15:34 5m 18s joneugster:publish-test
joneugster:publish-test
May 27, 2024 15:34 5m 18s