Skip to content
Back to pull request #3051

Automatic toolchain upgrade to nightly-2024-02-26 #6192

Sign in to view logs

Automatic toolchain upgrade to nightly-2024-02-26

Automatic toolchain upgrade to nightly-2024-02-26 #6192

Triggered via pull request March 1, 2024 05:25
@zhassan-awszhassan-aws
synchronize #3051
toolchain-2024-02-26
Status Success
Total duration 31m 47s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
12m 0s
write-json-symtab-regression
benchcomp-tests
3m 51s
benchcomp-tests
perf
31m 37s
perf
bookrunner
14m 17s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in