Skip to content

added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well #1051

added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well

added optional storage of constructor names and datatype names while serializing to JSON. Wired this through the different webservers as well #1051

Triggered via pull request September 12, 2023 09:42
Status Success
Total duration 23m 36s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: pull_request
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

1 warning
tests (buildjet-4vcpu-ubuntu-2204-arm)
Codecov: Failed to properly upload: The process '/home/runner/actions-runner/_work/_actions/codecov/codecov-action/v3/dist/codecov' failed with exit code 2

Artifacts

Produced during runtime
Name Size
rascal-1862-edc2814562c34358448a191e1b62c76091df8101 Expired
106 MB