Kani Format Check

Automatic toolchain upgrade to nightly-2024-09-04 #7988

Sign in to view logs

Triggered via pull request September 4, 2024 21:22

synchronize #3488

toolchain-2024-09-04

Status Success

Total duration 3m 43s

Artifacts –

format-check.yml

on: pull_request