Kani Format Check

Upgrade Rust toolchain to nightly-2024-06-17 #6776

Sign in to view logs

Triggered via pull request June 17, 2024 22:32

celinval

opened #3271

celinval:issue-3260-toolchain

Status Success

Total duration 2m 37s

Artifacts –

format-check.yml

on: pull_request