Kani Format Check

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

Sign in to view logs

Triggered via push July 24, 2024 15:56

tautschnig

pick-3375

Status Success

Total duration 3m 14s

Artifacts –

format-check.yml

on: push