Kani Format Check

Automatic toolchain upgrade to nightly-2024-11-12 #8846

Sign in to view logs

Triggered via pull request November 13, 2024 19:19

qinheping

reopened #3713

toolchain-2024-11-12

Status Success

Total duration 7m 55s

Artifacts –

format-check.yml

on: pull_request