Kani Format Check

Upgrade Rust toolchain to 2024-03-14 #6122

Sign in to view logs

Triggered via pull request March 14, 2024 23:44

zhassan-aws

opened #3081

zhassan-aws:toolchain-2024-03-14

Status Success

Total duration 2m 9s

Artifacts –

format-check.yml

on: pull_request