Skip to content

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

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

Triggered via pull request September 12, 2023 09:40
Status Success
Total duration 22m 43s
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-2c7ba585f7f723d4c72661ba6778f3a07294ebc2 Expired
107 MB