Skip to content

feat: Export/import of JSON metadata (#1622) #853

feat: Export/import of JSON metadata (#1622)

feat: Export/import of JSON metadata (#1622) #853

Triggered via push November 13, 2024 10:17
Status Failure
Total duration 34m 34s
Artifacts

unsoundness.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
Miri
Process completed with exit code 1.