Kani Format Check

Upgrade to CBMC 6.2.0 #503

Sign in to view logs

Triggered via push September 3, 2024 22:44

zhassan-aws

cbmc-6.2

Status Success

Total duration 3m 14s

Artifacts –

format-check.yml

on: push