Kani Format Check

Automatic toolchain upgrade to nightly-2024-10-10 #8452

Sign in to view logs

Triggered via pull request October 15, 2024 04:42

zhassan-aws

reopened #3602

toolchain-2024-10-10

Status Success

Total duration 2m 39s

Artifacts –

format-check.yml

on: pull_request