Kani Format Check

Automatic toolchain upgrade to nightly-2023-09-16 (#2773) #5210

Sign in to view logs

Triggered via push September 16, 2023 06:41

zhassan-aws

main

Status Success

Total duration 4m 11s

Artifacts –

format-check.yml

on: push