Kani Format Check

Automatic toolchain upgrade to nightly-2024-11-18 #8940

Sign in to view logs

Triggered via pull request November 19, 2024 06:40

zhassan-aws

reopened #3727

toolchain-2024-11-18

Status Success

Total duration 3m 5s

Artifacts –

format-check.yml

on: pull_request