Kani Format Check

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

Sign in to view logs

Triggered via pull request January 26, 2024 22:44

celinval

synchronize #2983

celinval:toolchain-2024-01-22

Status Success

Total duration 2m 28s

Artifacts –

format-check.yml

on: pull_request