Skip to content

Merge branch 'master' into svcomp24-dev #573

Merge branch 'master' into svcomp24-dev

Merge branch 'master' into svcomp24-dev #573

Triggered via push November 24, 2023 13:49
Status Failure
Total duration 19s
Artifacts

metadata.yml

on: push
cff-validate
7s
cff-validate
Matrix: zenodo-validate
Fit to window
Zoom out
Zoom in

Annotations

1 error
zenodo-validate (14)
Process completed with exit code 8.