Skip to content
Kani CI

expect() does not take format strings (#2865) #5630

Sign in to view logs

expect() does not take format strings (#2865)

expect() does not take format strings (#2865) #5630

Triggered via push November 8, 2023 16:57
@zhassan-awszhassan-aws
pushed 0bde3ea
main
Status Success
Total duration 39m 34s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
22m 49s
write-json-symtab-regression
benchcomp-tests
3m 35s
benchcomp-tests
perf
29m 28s
perf
bookrunner
16m 31s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in