Skip to content
Kani CI

Add option to override --crate-name from kani #6241

Sign in to view logs

Add option to override --crate-name from kani

Add option to override --crate-name from kani #6241

Triggered via pull request March 8, 2024 21:14
@adpaco-awsadpaco-aws
synchronize #3054
adpaco-aws:feat-crate-name
Status Success
Total duration 27m 51s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
12m 0s
write-json-symtab-regression
benchcomp-tests
3m 16s
benchcomp-tests
perf
27m 43s
perf
bookrunner
15m 52s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in