Skip to content

Actions: emacs-lsp/lsp-metals

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use treemacs for metals icon.
Docs #102: Commit 31f5468 pushed by kurnevsky
October 2, 2023 08:34 45s master
October 2, 2023 08:34 45s
Use treemacs for metals icon.
CI #237: Commit 31f5468 pushed by kurnevsky
October 2, 2023 08:34 7m 32s master
October 2, 2023 08:34 7m 32s
pages build and deployment
pages-build-deployment #40: by github-pages bot
October 1, 2023 11:42 35s gh-pages
October 1, 2023 11:42 35s
Add vscode icons.
Docs #101: Commit 81002e4 pushed by kurnevsky
October 1, 2023 11:42 38s master
October 1, 2023 11:42 38s
Add vscode icons.
CI #236: Commit 81002e4 pushed by kurnevsky
October 1, 2023 11:42 6m 30s master
October 1, 2023 11:42 6m 30s
Support double click.
CI #235: Commit e1c6d39 pushed by kurnevsky
October 1, 2023 09:33 4m 15s master
October 1, 2023 09:33 4m 15s
Support double click.
Docs #100: Commit e1c6d39 pushed by kurnevsky
October 1, 2023 09:33 31s master
October 1, 2023 09:33 31s
pages build and deployment
pages-build-deployment #39: by github-pages bot
October 1, 2023 08:19 33s gh-pages
October 1, 2023 08:19 33s
Align nodes with no icons.
Docs #99: Commit 55edc90 pushed by kurnevsky
October 1, 2023 08:18 49s master
October 1, 2023 08:18 49s
Align nodes with no icons.
CI #234: Commit 55edc90 pushed by kurnevsky
October 1, 2023 08:18 6m 5s master
October 1, 2023 08:18 6m 5s
pages build and deployment
pages-build-deployment #38: by github-pages bot
September 30, 2023 19:28 32s gh-pages
September 30, 2023 19:28 32s
Display spaces if an icon is missing.
Docs #98: Commit 8b63636 pushed by kurnevsky
September 30, 2023 19:27 40s master
September 30, 2023 19:27 40s
Display spaces if an icon is missing.
CI #233: Commit 8b63636 pushed by kurnevsky
September 30, 2023 19:27 4m 7s master
September 30, 2023 19:27 4m 7s
pages build and deployment
pages-build-deployment #37: by github-pages bot
September 30, 2023 13:02 30s gh-pages
September 30, 2023 13:02 30s
Add more icons.
CI #232: Commit 23b73f9 pushed by kurnevsky
September 30, 2023 13:02 4m 16s master
September 30, 2023 13:02 4m 16s
Add more icons.
Docs #97: Commit 23b73f9 pushed by kurnevsky
September 30, 2023 13:02 35s master
September 30, 2023 13:02 35s
pages build and deployment
pages-build-deployment #36: by github-pages bot
September 30, 2023 09:05 39s gh-pages
September 30, 2023 09:05 39s
Set help-echo property.
CI #231: Commit 310fced pushed by kurnevsky
September 30, 2023 09:04 5m 23s master
September 30, 2023 09:04 5m 23s
Set help-echo property.
Docs #96: Commit 310fced pushed by kurnevsky
September 30, 2023 09:04 52s master
September 30, 2023 09:04 52s
pages build and deployment
pages-build-deployment #35: by github-pages bot
September 30, 2023 08:50 30s gh-pages
September 30, 2023 08:50 30s
Use default face for treeview.
Docs #95: Commit 5dd03d0 pushed by kurnevsky
September 30, 2023 08:49 45s master
September 30, 2023 08:49 45s
Use default face for treeview.
CI #230: Commit 5dd03d0 pushed by kurnevsky
September 30, 2023 08:49 4m 13s master
September 30, 2023 08:49 4m 13s
pages build and deployment
pages-build-deployment #34: by github-pages bot
September 29, 2023 11:07 33s gh-pages
September 29, 2023 11:07 33s
Mark leaf nodes.
CI #229: Commit f17a62c pushed by kurnevsky
September 29, 2023 11:06 8m 17s master
September 29, 2023 11:06 8m 17s
Mark leaf nodes.
Docs #94: Commit f17a62c pushed by kurnevsky
September 29, 2023 11:06 42s master
September 29, 2023 11:06 42s