Kani Format Check

[DO NOT MERGE] Use stable Rust 1.85.0 release #9844

Sign in to view logs

Triggered via pull request March 25, 2025 17:21

zhassan-aws

synchronize #3957

zhassan-aws:stable

Status Success

Total duration 2m 24s

Artifacts –

format-check.yml

on: pull_request