Kani Format Check

Automatic cargo update to 2024-10-14 #8431

Sign in to view logs

Triggered via pull request October 14, 2024 04:16

zhassan-aws

reopened #3598

cargo-update-2024-10-14

Status Success

Total duration 2m 23s

Artifacts –

format-check.yml

on: pull_request