Skip to content

Actions: usethesource/rascal-language-servers

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,009 workflow runs
1,009 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump the dev-packages group in /rascal-vscode-extension with 3 update…
Build and Deploy #1741: Commit 68d0002 pushed by DavyLandman
January 1, 2025 18:29 14m 30s main
January 1, 2025 18:29 14m 30s
Bump the upstream-libs group in /rascal-lsp with 4 updates (#555)
Build and Deploy #1739: Commit bfebc0f pushed by DavyLandman
January 1, 2025 18:14 15m 47s main
January 1, 2025 18:14 15m 47s
Merge pull request #553 from usethesource/update-example-extension
Build and Deploy #1736: Commit d1e6d94 pushed by DavyLandman
December 27, 2024 14:27 15m 14s main
December 27, 2024 14:27 15m 14s
Update example folder to package language servers as VS Code extensions
Build and Deploy #1735: Pull request #553 opened by sungshik
December 27, 2024 11:30 15m 7s update-example-extension
December 27, 2024 11:30 15m 7s
Fix LSP document synchronization
Build and Deploy #1732: Pull request #544 synchronize by rodinaarssen
December 23, 2024 17:34 36m 27s lsp-open-files
December 23, 2024 17:34 36m 27s
Improve handling of qualified names when renaming
Build and Deploy #1731: Pull request #531 synchronize by toinehartman
December 23, 2024 14:41 10m 52s fix/rename-refactoring/module-names
December 23, 2024 14:41 10m 52s
Improve handling of qualified names when renaming
Build and Deploy #1730: Pull request #531 synchronize by toinehartman
December 23, 2024 14:26 14m 15s fix/rename-refactoring/module-names
December 23, 2024 14:26 14m 15s
Improve handling of qualified names when renaming
Build and Deploy #1729: Pull request #531 synchronize by toinehartman
December 23, 2024 14:15 8m 31s fix/rename-refactoring/module-names
December 23, 2024 14:15 8m 31s
Improve handling of qualified names when renaming
Build and Deploy #1728: Pull request #531 synchronize by toinehartman
December 23, 2024 13:31 38m 31s fix/rename-refactoring/module-names
December 23, 2024 13:31 38m 31s
Improve handling of qualified names when renaming
Build and Deploy #1727: Pull request #531 synchronize by toinehartman
December 23, 2024 13:31 9m 36s fix/rename-refactoring/module-names
December 23, 2024 13:31 9m 36s
Improve handling of qualified names when renaming
Build and Deploy #1726: Pull request #531 synchronize by toinehartman
December 23, 2024 12:07 12m 3s fix/rename-refactoring/module-names
December 23, 2024 12:07 12m 3s
Improve handling of qualified names when renaming
Build and Deploy #1725: Pull request #531 synchronize by toinehartman
December 23, 2024 09:10 12m 50s fix/rename-refactoring/module-names
December 23, 2024 09:10 12m 50s
Avoid registering the same scheme multiple times
Build and Deploy #1724: Pull request #543 synchronize by urbanfly
December 20, 2024 22:03 Action required urbanfly:feature/avoid-zip-errors
December 20, 2024 22:03 Action required
Avoid registering the same scheme multiple times
Build and Deploy #1723: Pull request #543 synchronize by urbanfly
December 20, 2024 21:44 Action required urbanfly:feature/avoid-zip-errors
December 20, 2024 21:44 Action required
Avoid registering the same scheme multiple times
Build and Deploy #1722: Pull request #543 synchronize by urbanfly
December 20, 2024 21:31 Action required urbanfly:feature/avoid-zip-errors
December 20, 2024 21:31 Action required
Improve handling of qualified names when renaming
Build and Deploy #1721: Pull request #531 synchronize by toinehartman
December 20, 2024 12:21 15m 24s fix/rename-refactoring/module-names
December 20, 2024 12:21 15m 24s
Improve handling of qualified names when renaming
Build and Deploy #1720: Pull request #531 synchronize by sungshik
December 20, 2024 12:08 13m 8s fix/rename-refactoring/module-names
December 20, 2024 12:08 13m 8s
Improve handling of qualified names when renaming
Build and Deploy #1719: Pull request #531 synchronize by sungshik
December 20, 2024 11:58 13m 44s fix/rename-refactoring/module-names
December 20, 2024 11:58 13m 44s
Improve handling of qualified names when renaming
Build and Deploy #1718: Pull request #531 synchronize by sungshik
December 20, 2024 11:53 5m 25s fix/rename-refactoring/module-names
December 20, 2024 11:53 5m 25s
Improve handling of qualified names when renaming
Build and Deploy #1717: Pull request #531 synchronize by sungshik
December 20, 2024 11:25 13m 22s fix/rename-refactoring/module-names
December 20, 2024 11:25 13m 22s