Kani Format Check

Update the rust toolchain to nightly-2024-07-29 #7377

Sign in to view logs

Triggered via pull request July 29, 2024 18:32

synchronize #3392

tautschnig:toolchain-2024-07-29-manual

Status Success

Total duration 3m 49s

Artifacts –

format-check.yml

on: pull_request