Skip to content

Merge branch 'master' into pldi-bench #571

Merge branch 'master' into pldi-bench

Merge branch 'master' into pldi-bench #571

Triggered via push November 17, 2023 12:25
Status Failure
Total duration 20s
Artifacts

metadata.yml

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

Annotations

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