Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
947 workflow runs
947 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well Build and Deploy #1052: Pull request #1862 synchronize by jurgenvinju
September 12, 2023 09:52 23m 22s json-serialization-improved
json-serialization-improved
September 12, 2023 09:52 23m 22s
added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well Build and Deploy #1051: Pull request #1862 synchronize by jurgenvinju
September 12, 2023 09:42 23m 36s json-serialization-improved
json-serialization-improved
September 12, 2023 09:42 23m 36s
added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well Build and Deploy #1050: Pull request #1862 synchronize by jurgenvinju
September 12, 2023 09:40 22m 43s json-serialization-improved
json-serialization-improved
September 12, 2023 09:40 22m 43s
added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well Build and Deploy #1049: Pull request #1862 synchronize by jurgenvinju
September 12, 2023 09:24 23m 24s json-serialization-improved
json-serialization-improved
September 12, 2023 09:24 23m 24s
added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well Build and Deploy #1048: Pull request #1862 synchronize by jurgenvinju
September 12, 2023 09:08 23m 29s json-serialization-improved
json-serialization-improved
September 12, 2023 09:08 23m 29s
added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well Build and Deploy #1047: Pull request #1862 opened by jurgenvinju
September 12, 2023 09:05 17m 7s json-serialization-improved
json-serialization-improved
September 12, 2023 09:05 17m 7s
removed cwd from the standard library contributor; fixes #1859 Build and Deploy #1046: Commit d55cb74 pushed by jurgenvinju
September 12, 2023 06:56 23m 21s main
main
September 12, 2023 06:56 23m 21s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1045: Commit 40719bd pushed by jurgenvinju
September 5, 2023 11:52 4s main
main
September 5, 2023 11:52 4s
[maven-release-plugin] prepare release v0.33.8 Build and Deploy #1044: Commit beef20c pushed by jurgenvinju
September 5, 2023 11:52 30m 16s v0.33.8
v0.33.8
September 5, 2023 11:52 30m 16s
[maven-release-plugin] prepare release v0.33.8 Build and Deploy #1043: Commit beef20c pushed by jurgenvinju
September 5, 2023 11:52 4s main
main
September 5, 2023 11:52 4s
bumped maven plugin Build and Deploy #1042: Commit bdba56a pushed by jurgenvinju
September 5, 2023 09:58 17m 47s main
main
September 5, 2023 09:58 17m 47s
bumped rascal-maven-plugin Build and Deploy #1041: Commit 62e5660 pushed by jurgenvinju
August 31, 2023 13:55 21m 36s main
main
August 31, 2023 13:55 21m 36s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1040: Commit c9820f6 pushed by jurgenvinju
August 31, 2023 12:26 4s main
main
August 31, 2023 12:26 4s
[maven-release-plugin] prepare release v0.33.7 Build and Deploy #1039: Commit 223079c pushed by jurgenvinju
August 31, 2023 12:26 26m 55s v0.33.7
v0.33.7
August 31, 2023 12:26 26m 55s
[maven-release-plugin] prepare release v0.33.7 Build and Deploy #1038: Commit 223079c pushed by jurgenvinju
August 31, 2023 12:26 4s main
main
August 31, 2023 12:26 4s
added docs Build and Deploy #1037: Commit 37d6627 pushed by jurgenvinju
August 31, 2023 11:05 22m 44s main
main
August 31, 2023 11:05 22m 44s
added loadParser variant of loadParsers which binds the top-non-termi… Build and Deploy #1036: Commit bb2f97a pushed by jurgenvinju
August 31, 2023 11:03 22m 11s main
main
August 31, 2023 11:03 22m 11s
bumped rascal-maven-plugin to 0.20.0 to close the loop Build and Deploy #1035: Commit 655aaba pushed by jurgenvinju
August 31, 2023 07:57 22m 13s main
main
August 31, 2023 07:57 22m 13s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1034: Commit a558582 pushed by jurgenvinju
August 31, 2023 05:43 2s main
main
August 31, 2023 05:43 2s
Build and Deploy Build and Deploy #1033: by jurgenvinju
August 31, 2023 05:43 26m 13s v0.33.6
v0.33.6
August 31, 2023 05:43 26m 13s
Test for pattern that requires runtime typecheck on constructor arg Build and Deploy #1032: Commit 8ae9657 pushed by PaulKlint
August 30, 2023 22:21 21m 4s main
main
August 30, 2023 22:21 21m 4s
made layouts function robust against incomplete module dependency graphs Build and Deploy #1031: Commit b956366 pushed by jurgenvinju
August 30, 2023 14:24 21m 48s main
main
August 30, 2023 14:24 21m 48s
added layouts expansion to module parser storage. was missing. Build and Deploy #1030: Commit 9f15fa3 pushed by jurgenvinju
August 30, 2023 14:01 3m 24s main
main
August 30, 2023 14:01 3m 24s
experiment with a fast path for simple non-terminal names in sym2symbol Build and Deploy #1029: Commit 578bd6a pushed by jurgenvinju
August 29, 2023 15:11 24m 6s main
main
August 29, 2023 15:11 24m 6s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1028: Commit 341593a pushed by jurgenvinju
August 25, 2023 12:18 3s main
main
August 25, 2023 12:18 3s
ProTip! You can narrow down the results and go further in time using created:<2023-08-25 or the other filters available.