Kani Format Check

Use cfg=kani_host for host crates (#3244) #6683

Sign in to view logs

Triggered via push June 10, 2024 21:55

tautschnig

main

Status Success

Total duration 1m 44s

Artifacts –

format-check.yml

on: push