Generate benchcomp.yaml
documentation from schema
#5931
Triggered via pull request
December 12, 2023 22:52
Status
Failure
Total duration
27m 48s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
10m 45s
benchcomp-tests
3m 34s
perf
27m 39s
bookrunner
16m 46s
Matrix: regression
Annotations
2 errors
benchcomp-tests
Process completed with exit code 1.
|
bookrunner
Process completed with exit code 1.
|