Kani Format Check

Automatic toolchain upgrade to nightly-2023-11-09 #5468

Sign in to view logs

Triggered via pull request November 9, 2023 03:39

zhassan-aws

reopened #2868

toolchain-2023-11-09

Status Success

Total duration 2m 52s

Artifacts –

format-check.yml

on: pull_request