Skip to content
Kani Format Check

Update the rust toolchain to nightly-2023-12-03 #5620

Sign in to view logs

Update the rust toolchain to nightly-2023-12-03

Update the rust toolchain to nightly-2023-12-03 #5620

Triggered via pull request December 3, 2023 22:32
@tautschnigtautschnig
synchronize #2913
tautschnig:toolchain-2023-12-03-manual
Status Success
Total duration 2m 6s
Artifacts –

format-check.yml

on: pull_request
format-check
9s
format-check
clippy-check
1m 56s
clippy-check
Fit to window
Zoom out
Zoom in