Kani Format Check

Automatic toolchain upgrade to nightly-2023-10-18 #5376

Sign in to view logs

Triggered via pull request October 19, 2023 05:07

zhassan-aws

reopened #2829

toolchain-2023-10-18

Status Success

Total duration 3m 29s

Artifacts –

format-check.yml

on: pull_request