Kani Format Check

Automatic toolchain upgrade to nightly-2024-10-18 #8490

Sign in to view logs

Triggered via pull request October 18, 2024 04:19

zhassan-aws

reopened #3613

toolchain-2024-10-18

Status Success

Total duration 3m 46s

Artifacts –

format-check.yml

on: pull_request