Kani Format Check

Merge branch 'main' into cbmc-6.4.0 #8752

Sign in to view logs

Triggered via push November 6, 2024 18:53

tautschnig

cbmc-6.4.0

Status Success

Total duration 3m 21s

Artifacts –

format-check.yml

on: push