Kani Format Check

Automatic toolchain upgrade to nightly-2024-11-03 #8704

Sign in to view logs

Triggered via pull request November 3, 2024 04:50

zhassan-aws

reopened #3674

toolchain-2024-11-03

Status Success

Total duration 3m 25s

Artifacts –

format-check.yml

on: pull_request