Skip to content

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

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

Triggered via pull request September 12, 2023 09:08
Status Success
Total duration 23m 29s
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-34307ba80b28ab81095d19d889caaf38be66c933 Expired
106 MB