Skip to content
Kani CI

Avoid unnecessary uses of Location::none() #302

Sign in to view logs

Avoid unnecessary uses of Location::none()

Avoid unnecessary uses of Location::none() #302

Triggered via push May 6, 2024 12:12
@tautschnigtautschnig
pushed c145c22
add-location
Status Success
Total duration 33m 57s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
13m 27s
write-json-symtab-regression
benchcomp-tests
4m 35s
benchcomp-tests
perf
33m 44s
perf
documentation
2m 6s
documentation
Matrix: regression
Fit to window
Zoom out
Zoom in