Kani Format Check

Automatic toolchain upgrade to nightly-2024-11-17 #8908

Sign in to view logs

Triggered via pull request November 18, 2024 07:56

qinheping

reopened #3724

toolchain-2024-11-17

Status Success

Total duration 2m 35s

Artifacts –

format-check.yml

on: pull_request