Kani Format Check

Automatic toolchain upgrade to nightly-2023-11-30 #5598

Sign in to view logs

Triggered via pull request November 30, 2023 04:45

zhassan-aws

reopened #2904

toolchain-2023-11-30

Status Success

Total duration 3m 7s

Artifacts –

format-check.yml

on: pull_request