Automate CBMC update #5748
Triggered via pull request
November 28, 2023 21:48
Status
Success
Total duration
35m 15s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
12m 16s
benchcomp-tests
3m 37s
perf
27m 28s
bookrunner
16m 29s
Matrix: regression