Kani Format Check

Merge remote-tracking branch 'origin/main' into cbmc-6 #345

Sign in to view logs

Triggered via push June 19, 2024 15:09

tautschnig

cbmc-6

Status Success

Total duration 2m 18s

Artifacts –

format-check.yml

on: push