Kani Format Check

Automatic toolchain upgrade to nightly-2024-09-08 (#3505) #514

Sign in to view logs

Triggered via push September 9, 2024 17:52

zhassan-aws

fork_main

Status Success

Total duration 2m 7s

Artifacts –

format-check.yml

on: push