Skip to content
Back to pull request #3015

Upgrade Rust toolchain to nightly-2024-02-09 #6143

Sign in to view logs

Upgrade Rust toolchain to nightly-2024-02-09

Upgrade Rust toolchain to nightly-2024-02-09 #6143

Triggered via pull request February 13, 2024 18:34
@feliperodrifeliperodri
synchronize #3015
feliperodri:toolchain-2024-02-09
Status Success
Total duration 32m 6s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
11m 35s
write-json-symtab-regression
benchcomp-tests
4m 7s
benchcomp-tests
perf
31m 56s
perf
bookrunner
14m 24s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in