Skip to content

Actions: sublimelsp/LSP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
388 workflow run results
388 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show diagnostics popup when hovering over gutter icons main #4427: Pull request #2349 opened by jwortmann
October 31, 2023 15:50 3m 58s jwortmann:diagnostics-icons-hover
jwortmann:diagnostics-icons-hover
October 31, 2023 15:50 3m 58s
Add menu item to disable/enable hover popups (#2316) main #4426: Commit df43568 pushed by rchl
October 30, 2023 10:27 4m 46s main
main
October 30, 2023 10:27 4m 46s
Add menu item to disable/enable hover popups main #4425: Pull request #2316 synchronize by jwortmann
October 30, 2023 09:34 4m 21s jwortmann:toggle-popups
jwortmann:toggle-popups
October 30, 2023 09:34 4m 21s
Add menu item to disable/enable hover popups main #4424: Pull request #2316 synchronize by jwortmann
October 30, 2023 09:32 3m 47s jwortmann:toggle-popups
jwortmann:toggle-popups
October 30, 2023 09:32 3m 47s
Add menu item to disable/enable hover popups main #4423: Pull request #2316 synchronize by jwortmann
October 30, 2023 06:24 4m 23s jwortmann:toggle-popups
jwortmann:toggle-popups
October 30, 2023 06:24 4m 23s
Experimental Workspace Symbols overhaul main #4422: Pull request #2333 synchronize by jwortmann
October 28, 2023 17:53 3m 50s jwortmann:workspace-symbols
jwortmann:workspace-symbols
October 28, 2023 17:53 3m 50s
Fix performance regression in Goto Symbol overlay (#2348) main #4421: Commit 4ff494b pushed by rchl
October 28, 2023 13:30 3m 54s main
main
October 28, 2023 13:30 3m 54s
Fix performance regression in Goto Symbol overlay main #4420: Pull request #2348 synchronize by jwortmann
October 28, 2023 03:07 3m 0s jwortmann:symbols-performance
jwortmann:symbols-performance
October 28, 2023 03:07 3m 0s
Fix performance regression in Goto Symbol overlay main #4419: Pull request #2348 synchronize by jwortmann
October 28, 2023 03:04 3m 57s jwortmann:symbols-performance
jwortmann:symbols-performance
October 28, 2023 03:04 3m 57s
Fix performance regression in Goto Symbol overlay main #4418: Pull request #2348 opened by jwortmann
October 28, 2023 03:01 4m 6s jwortmann:symbols-performance
jwortmann:symbols-performance
October 28, 2023 03:01 4m 6s
Make input suppression for document symbols more reliable (#2347) main #4417: Commit 3b17a99 pushed by rchl
October 26, 2023 19:47 4m 14s main
main
October 26, 2023 19:47 4m 14s
Experimental Workspace Symbols overhaul main #4416: Pull request #2333 synchronize by jwortmann
October 26, 2023 18:04 4m 1s jwortmann:workspace-symbols
jwortmann:workspace-symbols
October 26, 2023 18:04 4m 1s
Experimental Workspace Symbols overhaul main #4415: Pull request #2333 synchronize by jwortmann
October 26, 2023 18:00 4m 7s jwortmann:workspace-symbols
jwortmann:workspace-symbols
October 26, 2023 18:00 4m 7s
Make input suppression for document symbols more reliable main #4414: Pull request #2347 opened by jwortmann
October 26, 2023 17:19 3m 50s jwortmann:symbols-suppress-input
jwortmann:symbols-suppress-input
October 26, 2023 17:19 3m 50s
Experimental Workspace Symbols overhaul main #4413: Pull request #2333 synchronize by jwortmann
October 25, 2023 04:41 3m 45s jwortmann:workspace-symbols
jwortmann:workspace-symbols
October 25, 2023 04:41 3m 45s
sort diagnostics and select the closest one on navigation main #4412: Pull request #2273 synchronize by rchl
October 23, 2023 20:40 4m 21s fix/sorted-diagnostics
fix/sorted-diagnostics
October 23, 2023 20:40 4m 21s
sort diagnostics and select the closest one on navigation main #4411: Pull request #2273 synchronize by rchl
October 23, 2023 20:32 3m 46s fix/sorted-diagnostics
fix/sorted-diagnostics
October 23, 2023 20:32 3m 46s
Add menu item to disable/enable hover popups main #4410: Pull request #2316 synchronize by jwortmann
October 23, 2023 15:43 4m 12s jwortmann:toggle-popups
jwortmann:toggle-popups
October 23, 2023 15:43 4m 12s
pages build and deployment pages-build-deployment #57: by github-pages bot
October 22, 2023 20:39 34s gh-pages
gh-pages
October 22, 2023 20:39 34s
Workaround for st3 docs (#2314) docs #116: Commit 661ff53 pushed by rchl
October 22, 2023 20:39 31s main
main
October 22, 2023 20:39 31s
Cut 1.26.0 main #4409: Commit f8c21c4 pushed by rchl
October 22, 2023 12:28 3m 59s main
main
October 22, 2023 12:28 3m 59s
Experimental Workspace Symbols overhaul main #4408: Pull request #2333 synchronize by jwortmann
October 21, 2023 15:41 4m 27s jwortmann:workspace-symbols
jwortmann:workspace-symbols
October 21, 2023 15:41 4m 27s
Handle custom URI schemes in hover text links (#2339) main #4407: Commit 876e924 pushed by rwols
October 20, 2023 18:46 3m 16s main
main
October 20, 2023 18:46 3m 16s
Handle custom URI schemes in hover text links main #4406: Pull request #2339 synchronize by rwols
October 19, 2023 21:31 2m 54s feature/handle-custom-uris-in-hover-text
feature/handle-custom-uris-in-hover-text
October 19, 2023 21:31 2m 54s
Handle custom URI schemes in hover text links main #4405: Pull request #2339 synchronize by rwols
October 19, 2023 21:25 3m 53s feature/handle-custom-uris-in-hover-text
feature/handle-custom-uris-in-hover-text
October 19, 2023 21:25 3m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-10-19 or the other filters available.