Kani Format Check

Kani Format Check #8680

Sign in to view logs

Triggered via merge group October 31, 2024 23:25

tautschnig

Status Success

Total duration 4m 1s

Artifacts –

format-check.yml

on: merge_group