Kani Format Check

Upgrade Rust toolchain to `nightly-2024-03-21` #6226

Sign in to view logs

Triggered via pull request March 27, 2024 20:49

adpaco-aws

synchronize #3102

adpaco-aws:toolchain-upgrade-2024-03-21

Status Success

Total duration 1m 57s

Artifacts –

format-check.yml

on: pull_request