Skip to content

Actions: usethesource/rascal-language-servers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,258 workflow runs
2,258 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid language server triggering parser generator Lint #118: Commit b502350 pushed by DavyLandman
September 4, 2023 09:59 1m 49s main
main
September 4, 2023 09:59 1m 49s
bumped rascal and rascal-maven-plugin Lint #117: Commit eb09c46 pushed by jurgenvinju
August 31, 2023 13:57 4m 14s main
main
August 31, 2023 13:57 4m 14s
bumped rascal and rascal-maven-plugin Build and Deploy #663: Commit eb09c46 pushed by jurgenvinju
August 31, 2023 13:57 5m 0s main
main
August 31, 2023 13:57 5m 0s
preparing for release by bumping rascal and rascal-maven-plugin versions Build and Deploy #662: Commit d1ef301 pushed by jurgenvinju
August 31, 2023 07:58 4m 41s main
main
August 31, 2023 07:58 4m 41s
preparing for release by bumping rascal and rascal-maven-plugin versions Lint #116: Commit d1ef301 pushed by jurgenvinju
August 31, 2023 07:58 4m 39s main
main
August 31, 2023 07:58 4m 39s
Merge pull request #286 from usethesource/webview-title-and-column Lint #115: Commit 2b7db0c pushed by jurgenvinju
August 25, 2023 12:31 5m 44s main
main
August 25, 2023 12:31 5m 44s
Merge pull request #286 from usethesource/webview-title-and-column Build and Deploy #661: Commit 2b7db0c pushed by jurgenvinju
August 25, 2023 12:31 5m 5s main
main
August 25, 2023 12:31 5m 5s
bumped rascal to have access to title and viewcolumn parameters for webviews; and then updated all the API Build and Deploy #660: Pull request #286 synchronize by jurgenvinju
August 25, 2023 12:14 5m 5s webview-title-and-column
webview-title-and-column
August 25, 2023 12:14 5m 5s
bumped rascal to have access to title and viewcolumn parameters for webviews; and then updated all the API Lint #114: Pull request #286 synchronize by jurgenvinju
August 25, 2023 12:14 5m 1s webview-title-and-column
webview-title-and-column
August 25, 2023 12:14 5m 1s
bumped rascal to have access to title and viewcolumn parameters for webviews; and then updated all the API Lint #113: Pull request #286 synchronize by jurgenvinju
August 25, 2023 11:57 1m 43s webview-title-and-column
webview-title-and-column
August 25, 2023 11:57 1m 43s
bumped rascal to have access to title and viewcolumn parameters for webviews; and then updated all the API Build and Deploy #659: Pull request #286 synchronize by jurgenvinju
August 25, 2023 11:57 5m 42s webview-title-and-column
webview-title-and-column
August 25, 2023 11:57 5m 42s
bumped rascal to have access to title and viewcolumn parameters for webviews; and then updated all the API Lint #112: Pull request #286 opened by jurgenvinju
August 25, 2023 10:42 3m 45s webview-title-and-column
webview-title-and-column
August 25, 2023 10:42 3m 45s
bumped rascal to have access to title and viewcolumn parameters for webviews; and then updated all the API Build and Deploy #658: Pull request #286 opened by jurgenvinju
August 25, 2023 10:42 4m 55s webview-title-and-column
webview-title-and-column
August 25, 2023 10:42 4m 55s
Merge pull request #285 from PLSE-Lab/main Lint #111: Commit 2e584c4 pushed by jurgenvinju
August 24, 2023 13:58 8m 31s main
main
August 24, 2023 13:58 8m 31s
Merge pull request #285 from PLSE-Lab/main Build and Deploy #657: Commit 2e584c4 pushed by jurgenvinju
August 24, 2023 13:58 4m 35s main
main
August 24, 2023 13:58 4m 35s
Make Interpreter Heap and Stack Size Configurable Lint #110: Pull request #285 opened by mahills
August 24, 2023 01:11 14m 13s PLSE-Lab:main
PLSE-Lab:main
August 24, 2023 01:11 14m 13s
Make Interpreter Heap and Stack Size Configurable Build and Deploy #656: Pull request #285 opened by mahills
August 24, 2023 01:11 4m 15s PLSE-Lab:main
PLSE-Lab:main
August 24, 2023 01:11 4m 15s
fixed typo in version number of rascal Build and Deploy #654: Commit 4bcfdae pushed by jurgenvinju
August 21, 2023 11:30 5m 3s main
main
August 21, 2023 11:30 5m 3s
fixed typo in version number of rascal Lint #108: Commit 4bcfdae pushed by jurgenvinju
August 21, 2023 11:30 9m 7s main
main
August 21, 2023 11:30 9m 7s
bumped rascal to 0.33.6-RC1 Lint #107: Commit 644b365 pushed by jurgenvinju
August 21, 2023 10:55 1m 5s main
main
August 21, 2023 10:55 1m 5s
bumped rascal to 0.33.6-RC1 Build and Deploy #653: Commit 644b365 pushed by jurgenvinju
August 21, 2023 10:55 50s main
main
August 21, 2023 10:55 50s
Ask the user to update the JDK installed by Rascal Extension if new release is out Build and Deploy #652: Pull request #280 synchronize by jurgenvinju
August 14, 2023 10:38 4m 48s jvm-update
jvm-update
August 14, 2023 10:38 4m 48s
Ask the user to update the JDK installed by Rascal Extension if new release is out Lint #106: Pull request #280 synchronize by jurgenvinju
August 14, 2023 10:38 1m 40s jvm-update
jvm-update
August 14, 2023 10:38 1m 40s
Ask the user to update the JDK installed by Rascal Extension if new release is out Lint #105: Pull request #280 opened by yami2200
August 11, 2023 09:30 6m 9s jvm-update
jvm-update
August 11, 2023 09:30 6m 9s
Ask the user to update the JDK installed by Rascal Extension if new release is out Build and Deploy #651: Pull request #280 opened by yami2200
August 11, 2023 09:30 2m 39s jvm-update
jvm-update
August 11, 2023 09:30 2m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-08-11 or the other filters available.