Kani Format Check

Automatic upgrade of CBMC from 6.3.1 to 6.4.0 #8753

Sign in to view logs

Triggered via pull request November 6, 2024 18:53

tautschnig

synchronize #3689

cbmc-6.4.0

Status Success

Total duration 2m 30s

Artifacts –

format-check.yml

on: pull_request