Skip to content

Actions: usethesource/rascal

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
985 workflow runs
985 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed testdata:/// and the need for it Build and Deploy #1055: Commit cd3ee7f pushed by jurgenvinju
September 14, 2023 09:57 23m 1s main
main
September 14, 2023 09:57 23m 1s
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.