Kani Format Check

Automatic toolchain upgrade to nightly-2024-07-30 #7413

Sign in to view logs

Triggered via pull request July 30, 2024 10:17

tautschnig

synchronize #3395

toolchain-2024-07-30

Status Success

Total duration 3m 13s

Artifacts –

format-check.yml

on: pull_request