Merge branch 'master' into svcomp24-conf #566

Sign in to view logs

Triggered via push November 1, 2023 10:11

sim642

svcomp24-conf

Status Failure

Total duration 26s

Artifacts –

metadata.yml

on: push

Matrix: zenodo-validate

Annotations

1 error

zenodo-validate (14)

Process completed with exit code 8.