Kani Format Check

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

Sign in to view logs

Triggered via push June 24, 2024 09:46

tautschnig

cbmc-6

Status Success

Total duration 1m 59s

Artifacts –

format-check.yml

on: push