Kani Format Check

Automatic toolchain upgrade to nightly-2023-12-10 #5732

Sign in to view logs

Triggered via pull request December 10, 2023 21:07

zhassan-aws

reopened #2930

toolchain-2023-12-10

Status Success

Total duration 2m 19s

Artifacts –

format-check.yml

on: pull_request