Kani Format Check

Add two new CI workflows to check Kani against `verify-rust-std` #7335

Sign in to view logs

Triggered via pull request July 25, 2024 21:39

celinval

synchronize #3386

celinval:issue-xxxx-std-regression

Status Success

Total duration 2m 14s

Artifacts –

format-check.yml

on: pull_request