Skip to content

Actions: sublimelsp/lsp_utils

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #24: by github-pages bot
October 17, 2023 19:28 34s
October 17, 2023 19:28 34s
fix(pip): don't delete server directory on installation error
main #7: Commit 9af5e7c pushed by rchl
October 17, 2023 19:27 3m 55s main
October 17, 2023 19:27 3m 55s
fix(pip): don't delete server directory on installation error
On Push To Master #4: Commit 9af5e7c pushed by rchl
October 17, 2023 19:27 24s main
October 17, 2023 19:27 24s
pages build and deployment
pages-build-deployment #23: by github-pages bot
October 16, 2023 21:14 35s
October 16, 2023 21:14 35s
refactor: remove legacy ST3 code (#108)
On Push To Master #3: Commit fb75101 pushed by rchl
October 16, 2023 21:14 29s main
October 16, 2023 21:14 29s
refactor: remove legacy ST3 code (#108)
main #6: Commit fb75101 pushed by rchl
October 16, 2023 21:14 4m 22s main
October 16, 2023 21:14 4m 22s
refactor: remove legacy ST3 code
main #5: Pull request #108 opened by rchl
October 16, 2023 19:33 4m 5s fix/remove-st3-code
October 16, 2023 19:33 4m 5s
chore(ci): update if condition
main #4: Commit 7c2b78f pushed by rchl
October 16, 2023 19:05 2m 43s st3
st3
October 16, 2023 19:05 2m 43s
chore(ci): readd st3 workflow
main #3: Commit 0091dea pushed by rchl
October 16, 2023 19:03 2m 56s st3
st3
October 16, 2023 19:03 2m 56s
pages build and deployment
pages-build-deployment #22: by github-pages bot
October 16, 2023 18:57 40s
October 16, 2023 18:57 40s
October 16, 2023 18:57 4m 29s
fix(node): cleanup storage for no longer used servers and runtimes (#…
On Push To Master #2: Commit 7483345 pushed by rchl
October 16, 2023 18:57 28s main
October 16, 2023 18:57 28s
pages build and deployment
pages-build-deployment #21: by github-pages bot
October 14, 2023 22:33 29s
October 14, 2023 22:33 29s
chore(ci): update workflows after branch name change
On Push To Master #1: Commit 168e78f pushed by rchl
October 14, 2023 22:32 32s main
October 14, 2023 22:32 32s
chore(ci): update workflows after branch name change
main #1: Commit 168e78f pushed by rchl
October 14, 2023 22:32 3m 4s main
October 14, 2023 22:32 3m 4s
pages build and deployment
pages-build-deployment #20: by github-pages bot
October 14, 2023 22:26 39s
October 14, 2023 22:26 39s
pages build and deployment
pages-build-deployment #19: by github-pages bot
October 14, 2023 22:25 13s
October 14, 2023 22:25 13s
fix(node): cleanup storage for no longer used servers and runtimes
main #193: Pull request #104 synchronize by rchl
October 14, 2023 22:25 4m 15s fix/cleanup
October 14, 2023 22:25 4m 15s
Bump actions/setup-python from 2 to 4 (#107)
main #192: Commit 77d8116 pushed by rchl
October 14, 2023 22:25 3m 59s master
October 14, 2023 22:25 3m 59s
Bump actions/setup-python from 2 to 4 (#107)
On Push To Master #77: Commit 77d8116 pushed by rchl
October 14, 2023 22:25 27s master
October 14, 2023 22:25 27s
Bump actions/setup-node from 2 to 3 (#105)
main #191: Commit e159fb6 pushed by rchl
October 14, 2023 22:25 3m 12s master
October 14, 2023 22:25 3m 12s
Bump actions/setup-node from 2 to 3 (#105)
On Push To Master #76: Commit e159fb6 pushed by rchl
October 14, 2023 22:25 32s master
October 14, 2023 22:25 32s