Kani Format Check

Kani Format Check #8992

Sign in to view logs

Triggered via merge group November 26, 2024 01:00

celinval

Status Success

Total duration 3m 28s

Artifacts –

format-check.yml

on: merge_group