Skip to content

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

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

Triggered via pull request November 23, 2024 12:37
Status Success
Total duration 15m 52s
Artifacts 1

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 create commit: The process '/home/runner/actions-runner/_work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 2

Artifacts

Produced during runtime
Name Size
rascal-1862-7689dbc09b05130a44a2387265ad09a3def81a1c
82.6 MB