Kani Format Check

Merge remote-tracking branch 'origin/main' into toolchain-2024-09-18-… #438

Sign in to view logs

Triggered via push September 23, 2024 18:36

tautschnig

toolchain-2024-09-18-manual

Status Success

Total duration 4m 2s

Artifacts –

format-check.yml

on: push