Kani Format Check

Upgrade Rust toolchain to nightly-2024-01-23 #5872

Sign in to view logs

Triggered via pull request January 24, 2024 00:30

synchronize #2983

celinval:toolchain-2024-01-22

Status Success

Total duration 4m 48s

Artifacts –

format-check.yml

on: pull_request