Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

made the benchmark:// scheme superfluous and replaced it with a norma… Build and Deploy #1054: Commit faa93cf pushed by jurgenvinju
September 12, 2023 14:59 22m 21s main
main
September 12, 2023 14:59 22m 21s
added one single in-memory file system resolver to replace other more… Build and Deploy #1053: Commit 309e333 pushed by jurgenvinju
September 12, 2023 14:29 23m 7s main
main
September 12, 2023 14:29 23m 7s
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