Skip to content
Kani Extra

Upgrade rust toolchain to 2024-02-17 #417

Sign in to view logs

Upgrade rust toolchain to 2024-02-17

Upgrade rust toolchain to 2024-02-17 #417

Triggered via pull request February 26, 2024 15:56
@celinvalcelinval
synchronize #3040
Status Success
Total duration 1h 22m 28s
Artifacts –

extra_jobs.yml

on: pull_request_target
Auto Label
6s
Auto Label
Verification Benchmarks  /  perf-benchcomp
1h 22m
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in