Skip to content
Back to pull request #3055

Automatic cargo update to 2024-03-04 #6206

Sign in to view logs

Automatic cargo update to 2024-03-04

Automatic cargo update to 2024-03-04 #6206

Triggered via pull request March 4, 2024 04:37
@zhassan-awszhassan-aws
reopened #3055
cargo-update-2024-03-04
Status Success
Total duration 33m 51s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
11m 49s
write-json-symtab-regression
benchcomp-tests
3m 44s
benchcomp-tests
perf
33m 43s
perf
bookrunner
14m 15s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in