Kani Format Check

cargo update and fix macos CI #6079

Sign in to view logs

Triggered via pull request March 11, 2024 16:54

opened #3067

zhassan-aws:fix-macos

Status Success

Total duration 1m 54s

Artifacts –

format-check.yml

on: pull_request