Kani Format Check

Use cfg=kani_host for host crates #6680

Sign in to view logs

Triggered via pull request June 10, 2024 21:19

tautschnig

synchronize #3244

tautschnig:fix-3101

Status Success

Total duration 2m 57s

Artifacts –

format-check.yml

on: pull_request