Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow run results
206 workflow run results

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 #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