Skip to content

Actions: usethesource/rascal-language-servers

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yaml
737 workflow runs
737 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Trying to more reliably close the open editor Lint #804: Pull request #470 opened by DavyLandman
October 7, 2024 19:23 5m 35s chore/more-ci-fixes
chore/more-ci-fixes
October 7, 2024 19:23 5m 35s
Rename refactoring for grammars Lint #803: Pull request #418 synchronize by toinehartman
October 7, 2024 13:29 9m 11s feature/rename-refactoring/grammars
feature/rename-refactoring/grammars
October 7, 2024 13:29 9m 11s
Rename refactoring for grammars Lint #802: Pull request #418 synchronize by toinehartman
October 7, 2024 12:15 9m 3s feature/rename-refactoring/grammars
feature/rename-refactoring/grammars
October 7, 2024 12:15 9m 3s
Rename refactoring for grammars Lint #801: Pull request #418 synchronize by toinehartman
October 7, 2024 10:18 8m 27s feature/rename-refactoring/grammars
feature/rename-refactoring/grammars
October 7, 2024 10:18 8m 27s
Merge pull request #469 from usethesource/configure-rascal-terminal-name Lint #800: Commit 7d24fc7 pushed by DavyLandman
October 7, 2024 08:05 5m 7s main
main
October 7, 2024 08:05 5m 7s
Configuration of Rascal terminal names Lint #799: Pull request #469 synchronize by sungshik
October 4, 2024 13:57 5m 33s configure-rascal-terminal-name
configure-rascal-terminal-name
October 4, 2024 13:57 5m 33s
Rename refactoring for grammars Lint #798: Pull request #418 synchronize by toinehartman
October 4, 2024 12:02 8m 41s feature/rename-refactoring/grammars
feature/rename-refactoring/grammars
October 4, 2024 12:02 8m 41s
Configuration of Rascal terminal names Lint #797: Pull request #469 synchronize by sungshik
October 4, 2024 11:42 5m 34s configure-rascal-terminal-name
configure-rascal-terminal-name
October 4, 2024 11:42 5m 34s
Configuration of Rascal terminal names Lint #796: Pull request #469 synchronize by sungshik
October 4, 2024 11:39 5m 52s configure-rascal-terminal-name
configure-rascal-terminal-name
October 4, 2024 11:39 5m 52s
Configuration of Rascal terminal names Lint #795: Pull request #469 synchronize by sungshik
October 4, 2024 11:36 5m 20s configure-rascal-terminal-name
configure-rascal-terminal-name
October 4, 2024 11:36 5m 20s
Rename refactoring for grammars Lint #794: Pull request #418 synchronize by toinehartman
October 4, 2024 11:33 9m 33s feature/rename-refactoring/grammars
feature/rename-refactoring/grammars
October 4, 2024 11:33 9m 33s
Rename refactoring for grammars Lint #793: Pull request #418 synchronize by toinehartman
October 4, 2024 08:54 8m 1s feature/rename-refactoring/grammars
feature/rename-refactoring/grammars
October 4, 2024 08:54 8m 1s
Add missing import. (#467) Lint #792: Commit fc5d1c7 pushed by DavyLandman
October 4, 2024 07:45 5m 32s main
main
October 4, 2024 07:45 5m 32s
Fix remaing type error in rename tests Lint #791: Pull request #467 opened by toinehartman
October 4, 2024 07:34 5m 16s chore/rename-refactoring/fix-remaining-type-error
chore/rename-refactoring/fix-remaining-type-error
October 4, 2024 07:34 5m 16s
Rename refactoring for grammars Lint #790: Pull request #418 synchronize by toinehartman
October 4, 2024 06:48 7m 51s feature/rename-refactoring/grammars
feature/rename-refactoring/grammars
October 4, 2024 06:48 7m 51s
Updating to latest rascal-core version Lint #789: Pull request #463 synchronize by DavyLandman
October 3, 2024 17:38 6m 25s chore/update-to-latest-rascal-core
chore/update-to-latest-rascal-core
October 3, 2024 17:38 6m 25s
Merge pull request #465 from usethesource/feature/rename-refactoring/… Lint #788: Commit 77bb23f pushed by DavyLandman
October 3, 2024 16:30 5m 40s main
main
October 3, 2024 16:30 5m 40s
Fix type errors in rename refactoring modules Lint #787: Pull request #465 synchronize by toinehartman
October 3, 2024 16:00 5m 9s feature/rename-refactoring/fix-type-errors
feature/rename-refactoring/fix-type-errors
October 3, 2024 16:00 5m 9s
Fix type errors in rename refactoring modules Lint #786: Pull request #465 synchronize by toinehartman
October 3, 2024 15:26 5m 39s feature/rename-refactoring/fix-type-errors
feature/rename-refactoring/fix-type-errors
October 3, 2024 15:26 5m 39s
Rename refactoring for grammars Lint #785: Pull request #418 synchronize by toinehartman
October 3, 2024 14:45 8m 34s feature/rename-refactoring/grammars
feature/rename-refactoring/grammars
October 3, 2024 14:45 8m 34s
Fix type errors in rename refactoring modules Lint #784: Pull request #465 synchronize by toinehartman
October 3, 2024 14:43 5m 27s feature/rename-refactoring/fix-type-errors
feature/rename-refactoring/fix-type-errors
October 3, 2024 14:43 5m 27s
Focus generalizes bottom lexical and top fullTree parametres to a spine around the cursor Lint #783: Pull request #459 synchronize by jurgenvinju
October 3, 2024 12:08 5m 17s focus-replaces-innermost-lexical
focus-replaces-innermost-lexical
October 3, 2024 12:08 5m 17s
Fix type errors in rename refactoring modules Lint #782: Pull request #465 synchronize by toinehartman
October 3, 2024 12:02 5m 54s feature/rename-refactoring/fix-type-errors
feature/rename-refactoring/fix-type-errors
October 3, 2024 12:02 5m 54s
Fix type errors in rename refactoring modules Lint #781: Pull request #465 opened by toinehartman
October 3, 2024 09:45 5m 18s feature/rename-refactoring/fix-type-errors
feature/rename-refactoring/fix-type-errors
October 3, 2024 09:45 5m 18s
Trying to improve a final issue with the UI tests (#464) Lint #780: Commit 4ddad47 pushed by DavyLandman
October 3, 2024 09:30 5m 19s main
main
October 3, 2024 09:30 5m 19s