Kani Format Check

Cherry-pick #3375 into verify-rust-std (Import apply_closure into kan… #7287

Sign in to view logs

Triggered via push July 24, 2024 15:58

tautschnig

features/verify-rust-std

Status Success

Total duration 2m 56s

Artifacts –

format-check.yml

on: push