Skip to content

Actions: usethesource/rascal-language-servers

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,006 workflow runs
1,006 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Error recovery for Rascal
Lint #1053: Pull request #490 synchronize by sungshik
November 11, 2024 12:15 1m 30s error-recovery/rascal
November 11, 2024 12:15 1m 30s
Merge pull request #516 from usethesource/chore/fix-lint-warning
Lint #1052: Commit 843ba70 pushed by toinehartman
November 11, 2024 08:58 9m 19s main
November 11, 2024 08:58 9m 19s
Fix ESlint warning.
Lint #1051: Pull request #516 synchronize by toinehartman
November 11, 2024 08:40 8m 51s chore/fix-lint-warning
November 11, 2024 08:40 8m 51s
Fix ESlint warning.
Lint #1050: Pull request #516 opened by toinehartman
November 11, 2024 08:40 9m 41s chore/fix-lint-warning
November 11, 2024 08:40 9m 41s
Error recovery for Rascal
Lint #1048: Pull request #490 synchronize by PieterOlivier
November 10, 2024 06:53 1m 29s error-recovery/rascal
November 10, 2024 06:53 1m 29s
Merge pull request #513 from usethesource/fix-pico-configuration
Lint #1046: Commit 0f5e913 pushed by jurgenvinju
November 8, 2024 19:39 9m 0s main
November 8, 2024 19:39 9m 0s
Fix configuration of Pico language server
Lint #1043: Pull request #513 opened by sungshik
November 8, 2024 16:05 9m 38s fix-pico-configuration
November 8, 2024 16:05 9m 38s
November 8, 2024 13:15 8m 52s
Support has in rename refactoring
Lint #1036: Pull request #495 synchronize by toinehartman
November 8, 2024 12:59 8m 58s feature/rename-refactoring/has
November 8, 2024 12:59 8m 58s
Support has in rename refactoring
Lint #1035: Pull request #495 synchronize by toinehartman
November 8, 2024 12:57 9m 14s feature/rename-refactoring/has
November 8, 2024 12:57 9m 14s
Remove rascal-core from workspace. (#509)
Lint #1034: Commit 12c303a pushed by DavyLandman
November 8, 2024 11:24 8m 24s main
November 8, 2024 11:24 8m 24s
Remove rascal-core from workspace.
Lint #1033: Pull request #509 opened by toinehartman
November 8, 2024 11:23 8m 38s fix/remove-core-from-workspace
November 8, 2024 11:23 8m 38s
Support has in rename refactoring
Lint #1032: Pull request #495 synchronize by toinehartman
November 8, 2024 11:16 8m 46s feature/rename-refactoring/has
November 8, 2024 11:16 8m 46s
Merge pull request #497 from usethesource/semantic-tokenizer-fall2024
Lint #1031: Commit a23957c pushed by DavyLandman
November 8, 2024 09:19 9m 35s main
November 8, 2024 09:19 9m 35s